Number of prelocally table superintuitionistic propositional logics

DOI10.1007/BF01979699zbMath0583.03016MaRDI QIDQ1069926

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

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

Related Items (6)

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

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