Interconnection of the lattices of extensions of four logics

DOI10.1007/s11787-017-0165-4zbMath1420.03039OpenAlexW2601049332MaRDI QIDQ2399606

A. Yu. Muravitskij

Publication date: 24 August 2017

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

Full work available at URL: https://doi.org/10.1007/s11787-017-0165-4

zbMATH Keywords

lattice of normal extensions of propositional logicmodal Boolean algebramodal Heyting algebrapropositional modal logic on classical basispropositional modal logic on intuitionistic basis

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Admissible rules for six intuitionistic modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On superintuitionistic logics as fragments of proof logic extensions
• Interpolation properties of superintuitionistic logics
• A lattice of normal modal logics
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• On modal logic with an intuitionistic base
• Finite-level modal logics
• Tools and techniques in modal logic
• Beyond Rasiowan systems: unital deductive systems
• Some results on finite axiomatizability in modal logic
• Magari and \(\Delta\)-pseudo-Boolean algebras
• The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
• On the Blok-Esakia Theorem
• Logic KM: A Biography
• Constructive Modalities with Provability Smack
• Algebraic semantics for modal logics I

This page was built for publication: Interconnection of the lattices of extensions of four logics