The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond

DOI10.1007/978-3-031-06843-0_7OpenAlexW4312857529MaRDI QIDQ5886460

A. Yu. Muravitskij

Publication date: 5 April 2023

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-06843-0_7

zbMATH Keywords

distributive latticeHeyting algebraintuitionistic propositional calculuslattice of all normal extensions of a calculusmodal propositional calculus S4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite axiomatizability of locally tabular superintuitionistic logics
• Locally finite varieties of Heyting algebras
• An algebraic approach to non-classical logics
• A lattice of normal modal logics
• The embedding theorem: its further developments and consequences. I
• A propositional calculus with denumerable matrix
• An ascending chain of S4 logics
• Lattice NExtS4 from the Embedding Theorem Viewpoint
• On the Blok-Esakia Theorem
• Logic KM: A Biography
• Leibniz on Intension and Extension
• Modal Logics Between S 4 and S 5
• A Remark on the Intersection of Tow Logics
• Equational Bases and Nonmodular Lattice Varieties
• Extensions of the Lewis system S5

This page was built for publication: The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond