Number of prelocally table superintuitionistic propositional logics

DOI10.1007/BF01979699MaRDI QIDQ1069926zbMATH OpenFDO

Authors S. I. Mardaev

Publication date 1984

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

Full work available at URL https://eudml.org/doc/187256

zbMATH Keywords

varietysuperintuitionistic logicspseudo-Boolean algebra

Mathematics Subject Classification ID

Intermediate logics (03B55) Logical aspects of lattices and related structures (03G10) Varieties of lattices (06B20)

Recommendations

• Finite axiomatizability of locally tabular superintuitionistic logics
• Two sequences of locally tabular superintuitionistic logics
• New constants in two pretabular superintuitionistic logics
• Algebraic counterparts for some properties of superintuitionistic predicate logics
• Properties of superintuitionistic propositional calculi
• scientific article; zbMATH DE number 3906478
• On algebraisation of superintuitionistic predicate logics
• scientific article; zbMATH DE number 4027437
• On the number of variables in undecidable superintuitionistic propositional calculi
• scientific article; zbMATH DE number 4031761

Cited in

(6)

• Frame based formulas for intermediate logics
• Codimension and pseudometric in co-Heyting algebras
• Embeddings of implicative lattices and superintuitionistic logics
• Finite axiomatizability of locally tabular superintuitionistic logics
• Modal companions of intermediate propositional logics
• Two sequences of locally tabular superintuitionistic logics

This page was built for publication: Number of prelocally table superintuitionistic propositional logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1069926)