Two sequences of locally tabular superintuitionistic logics

DOI10.1007/BF00370191zbMath0739.03017MaRDI QIDQ1181493

S. I. Mardaev

Publication date: 27 June 1992

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

superintuitionistic logicsvarieties of Heyting algebras

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Intermediate logics (03B55)

Related Items (1)

Profiniteness and representability of spectra of Heyting algebras

Cites Work

• Finite axiomatizability of locally tabular superintuitionistic logics
• Number of prelocally table superintuitionistic propositional logics
• Embeddings of implicative lattices and superintuitionistic logics
• Unnamed Item
• Unnamed Item

This page was built for publication: Two sequences of locally tabular superintuitionistic logics