Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
From MaRDI portal
Publication:2698277
DOI10.1007/s11225-022-10012-7OpenAlexW4308113495MaRDI QIDQ2698277
Nick Bezhanishvili, Tommaso Moraschini
Publication date: 21 April 2023
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-022-10012-7
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Almost structural completeness; an algebraic approach
- Intermediate logics and Visser's rules
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
- Locally finite varieties of Heyting algebras
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Syntax and semantics of superintuitionistic logics
- Profinite Heyting algebras
- A lattice of normal modal logics
- Splitting algebras and a weak notion of projectivity
- Structural completeness of Gödel's and Dummett's propositional calculi
- Lattices of quasivarieties
- Admissibility of logical inference rules
- Stable formulas in intuitionistic logic
- Hereditarily structurally complete superintuitionistic deductive systems
- On the structure of varieties with equationally definable principal congruences. I
- Best solving modal equations
- Epimorphism surjectivity in varieties of Heyting algebras
- An algebraic approach to subframe logics. Intuitionistic case
- Admissible rules and the Leibniz hierarchy
- Epimorphisms in varieties of residuated structures
- On the rules of intermediate logics
- On the structural completeness of some pure implicational propositional calculi
- On the admissible rules of intuitionistic propositional logic
- Admissibility in Finitely Generated Quasivarieties
- Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
- Bases of Admissible Rules of Lukasiewicz Logic
- A remark on the s. c. free closure algebras
- Independent Bases of Admissible Rules
- The Kuznetsov-Gerčiu and Rieger-Nishimura logics
- Algebraizable logics
- On formulas of one variable in intuitionistic propositional calculus
- Rules of inference with parameters for intuitionistic logic
- ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
- Unification in intuitionistic logic
- Admissible and derivable rules in intuitionistic logic
- Prefinitely axiomatizable modal and intermediate logics
- Finitely generated free Heyting algebras
- Logics containing K4. Part I
- Hereditarily structurally complete modal logics
- HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS
- Singly generated quasivarieties and residuated structures
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
- Canonical Extensions, Esakia Spaces, and Universal Models
- Modal Logics Between S 4 and S 5
- Injective and Projective Heyting Algebras
- Equational Bases and Nonmodular Lattice Varieties
- Admissible Rules of Modal Logics
- Splittings of a Lattice
