Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-022-10012-7
@@ Property / DOI: 10.1007/s11225-022-10012-7 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-022-10012-7
+Normal rank
@@ Property / OpenAlex ID @@
+W4308113495
@@ Property / OpenAlex ID: W4308113495 / rank @@
+Normal rank
@@ Property / cites work @@
+Injective and Projective Heyting Algebras
@@ Property / cites work: Injective and Projective Heyting Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely generated free Heyting algebras
@@ Property / cites work: Finitely generated free Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011709
@@ Property / cites work: Q4011709 / rank @@
+Normal rank
@@ Property / cites work @@
+Profinite Heyting algebras
@@ Property / cites work: Profinite Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The Kuznetsov-Gerčiu and Rieger-Nishimura logics
@@ Property / cites work: The Kuznetsov-Gerčiu and Rieger-Nishimura logics / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to subframe logics. Intuitionistic case
+Normal rank
@@ Property / cites work @@
+Locally finite varieties of Heyting algebras
@@ Property / cites work: Locally finite varieties of Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Epimorphisms in varieties of residuated structures
+Normal rank
@@ Property / cites work @@
+Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
+Normal rank
@@ Property / cites work @@
+Stable formulas in intuitionistic logic
@@ Property / cites work: Stable formulas in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. I
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
+Normal rank
@@ Property / cites work @@
+Q4198474
@@ Property / cites work: Q4198474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3772270
@@ Property / cites work: Q3772270 / rank @@
+Normal rank
@@ Property / cites work @@
+Hereditarily structurally complete superintuitionistic deductive systems
+Normal rank
@@ Property / cites work @@
+HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS
+Normal rank
@@ Property / cites work @@
+Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
+Normal rank
@@ Property / cites work @@
+On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
+Normal rank
@@ Property / cites work @@
+Splitting algebras and a weak notion of projectivity
+Normal rank
@@ Property / cites work @@
+Modal Logics Between S 4 and S 5
@@ Property / cites work: Modal Logics Between S 4 and S 5 / rank @@
+Normal rank
@@ Property / cites work @@
+Almost structural completeness; an algebraic approach
+Normal rank
@@ Property / cites work @@
+Structural completeness of Gödel's and Dummett's propositional calculi
+Normal rank
@@ Property / cites work @@
+Q4049062
@@ Property / cites work: Q4049062 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics containing <i>K</i>4. Part I
@@ Property / cites work: Logics containing <i>K</i>4. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical Extensions, Esakia Spaces, and Universal Models
+Normal rank
@@ Property / cites work @@
+Q5623661
@@ Property / cites work: Q5623661 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4277651
@@ Property / cites work: Q4277651 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Best solving modal equations
@@ Property / cites work: Best solving modal equations / rank @@
+Normal rank
@@ Property / cites work @@
+Lattices of quasivarieties
@@ Property / cites work: Lattices of quasivarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220413
@@ Property / cites work: Q4220413 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692873
@@ Property / cites work: Q4692873 / rank @@
+Normal rank
@@ Property / cites work @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Intermediate logics and Visser's rules
@@ Property / cites work: Intermediate logics and Visser's rules / rank @@
+Normal rank
@@ Property / cites work @@
+On the rules of intermediate logics
@@ Property / cites work: On the rules of intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595146
@@ Property / cites work: Q5595146 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible Rules of Modal Logics
@@ Property / cites work: Admissible Rules of Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Independent Bases of Admissible Rules
@@ Property / cites work: Independent Bases of Admissible Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Bases of Admissible Rules of Lukasiewicz Logic
@@ Property / cites work: Bases of Admissible Rules of Lukasiewicz Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Prefinitely axiomatizable modal and intermediate logics
+Normal rank
@@ Property / cites work @@
+Q5623660
@@ Property / cites work: Q5623660 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3229402
@@ Property / cites work: Q3229402 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice of normal modal logics
@@ Property / cites work: A lattice of normal modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Equational Bases and Nonmodular Lattice Varieties
@@ Property / cites work: Equational Bases and Nonmodular Lattice Varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility in Finitely Generated Quasivarieties
+Normal rank
@@ Property / cites work @@
+VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
+Normal rank
@@ Property / cites work @@
+Singly generated quasivarieties and residuated structures
+Normal rank
@@ Property / cites work @@
+Epimorphism surjectivity in varieties of Heyting algebras
+Normal rank
@@ Property / cites work @@
+On formulas of one variable in intuitionistic propositional calculus
+Normal rank
@@ Property / cites work @@
+On the structural completeness of some pure implicational propositional calculi
+Normal rank
@@ Property / cites work @@
+Q3342540
@@ Property / cites work: Q3342540 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible rules and the Leibniz hierarchy
@@ Property / cites work: Admissible rules and the Leibniz hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+A remark on the s. c. free closure algebras
@@ Property / cites work: A remark on the s. c. free closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible and derivable rules in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Rules of inference with parameters for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Hereditarily structurally complete modal logics
@@ Property / cites work: Hereditarily structurally complete modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198475
@@ Property / cites work: Q4198475 / rank @@
+Normal rank
@@ Property / cites work @@
+Splittings of a Lattice
@@ Property / cites work: Splittings of a Lattice / rank @@
+Normal rank
@@ Property / cites work @@
+Syntax and semantics of superintuitionistic logics
+Normal rank
@@ Property / DOI @@
+.1007/S11225-022-10012-7
@@ Property / DOI: 10.1007/S11225-022-10012-7 / rank @@
+Normal rank