The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond
From MaRDI portal
Publication:5886460
DOI10.1007/978-3-031-06843-0_7OpenAlexW4312857529MaRDI QIDQ5886460
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
distributive latticeHeyting algebraintuitionistic propositional calculuslattice of all normal extensions of a calculusmodal propositional calculus S4
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