Embeddings of implicative lattices and superintuitionistic logics

DOI10.1007/BF02009330zbMath0661.03016MaRDI QIDQ1112806

S. I. Mardaev

Publication date: 1987

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

Heyting algebraintermediate logicfinitely pre-approximable logicslocally pre-tabular logics

Mathematics Subject Classification ID

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

Related Items (1)

Two sequences of locally tabular superintuitionistic logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Number of prelocally table superintuitionistic propositional logics
• The algebra of topology
• On closed elements in closure algebras
• Algebras Whose Congruence Lattices are Distributive.

This page was built for publication: Embeddings of implicative lattices and superintuitionistic logics