Magari and \(\Delta\)-pseudo-Boolean algebras

DOI10.1007/BF00970634zbMath0721.06014OpenAlexW2056461357MaRDI QIDQ2640631

A. Yu. Muravitskij

Publication date: 1990

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00970634

zbMATH Keywords

Heyting algebraprovability logicdiagonalizable algebratopological Boolean algebraGrzegorczyk algebraMagari algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Interconnection of the lattices of extensions of four logics ⋮ On products of posets and coproducts of KM-algebras

Cites Work

• On superintuitionistic logics as fragments of proof logic extensions
• Loeb operators and interior operators
• Provability interpretations of modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item