Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
From MaRDI portal
Cites work
- A lattice of normal modal logics
- A remark on the s. c. free closure algebras
- Admissibility in finitely generated quasivarieties
- Admissibility of logical inference rules
- Admissible and derivable rules in intuitionistic logic
- Admissible rules and the Leibniz hierarchy
- Admissible Rules of Modal Logics
- Algebraizable logics
- Almost structural completeness; an algebraic approach
- An algebraic approach to subframe logics. Intuitionistic case
- Bases of admissible rules of Łukasiewicz logic
- Best solving modal equations
- Canonical extensions, Esakia spaces, and universal models
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Epimorphism surjectivity in varieties of Heyting algebras
- Epimorphisms in varieties of residuated structures
- Equational Bases and Nonmodular Lattice Varieties
- Finitely generated free Heyting algebras
- Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
- Hereditarily structurally complete modal logics
- Hereditarily structurally complete positive logics
- Hereditarily structurally complete superintuitionistic deductive systems
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3115105 (Why is no real title available?)
- scientific article; zbMATH DE number 3875241 (Why is no real title available?)
- scientific article; zbMATH DE number 4031761 (Why is no real title available?)
- scientific article; zbMATH DE number 67021 (Why is no real title available?)
- scientific article; zbMATH DE number 3463628 (Why is no real title available?)
- scientific article; zbMATH DE number 3639589 (Why is no real title available?)
- scientific article; zbMATH DE number 3639590 (Why is no real title available?)
- scientific article; zbMATH DE number 1226187 (Why is no real title available?)
- scientific article; zbMATH DE number 496003 (Why is no real title available?)
- scientific article; zbMATH DE number 194904 (Why is no real title available?)
- scientific article; zbMATH DE number 3316016 (Why is no real title available?)
- scientific article; zbMATH DE number 3348072 (Why is no real title available?)
- scientific article; zbMATH DE number 3348073 (Why is no real title available?)
- Independent Bases of Admissible Rules
- Injective and Projective Heyting Algebras
- Intermediate logics and Visser's rules
- Lattices of quasivarieties
- Locally finite varieties of Heyting algebras
- Logics containing K4. Part I
- Modal Logics Between S 4 and S 5
- ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
- On formulas of one variable in intuitionistic propositional calculus
- On the admissible rules of intuitionistic propositional logic
- On the rules of intermediate logics
- On the structural completeness of some pure implicational propositional calculi
- On the structure of varieties with equationally definable principal congruences. I
- Prefinitely axiomatizable modal and intermediate logics
- Profinite Heyting algebras
- Rules of inference with parameters for intuitionistic logic
- Singly generated quasivarieties and residuated structures
- Splitting algebras and a weak notion of projectivity
- Splittings of a Lattice
- Stable formulas in intuitionistic logic
- Structural completeness of Gödel's and Dummett's propositional calculi
- Syntax and semantics of superintuitionistic logics
- The Kuznetsov-Gerčiu and Rieger-Nishimura logics
- Unification in intuitionistic logic
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
Cited in
(3)
This page was built for publication: Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2698277)
