Characteristic Formulas Over Intermediate Logics (Q5214733): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2154470989
@@ Property / OpenAlex ID: W2154470989 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2631
@@ Property / arXiv ID: 1208.2631 / rank @@
+Normal rank
@@ Property / cites work @@
+AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
+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 @@
+Q4137166
@@ Property / cites work: Q4137166 / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. I
+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 @@
+Not every splitting Heyting or interior algebra is finitely presentable
+Normal rank
@@ Property / cites work @@
+An ascending chain of S4 logics
@@ Property / cites work: An ascending chain of S4 logics / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+An almost general splitting theorem for modal logic
+Normal rank
@@ Property / cites work @@
+Splittings and the finite model property
@@ Property / cites work: Splittings and the finite model property / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and techniques in modal logic
@@ Property / cites work: Tools and techniques in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation properties of superintuitionistic logics
+Normal rank
@@ Property / cites work @@
+Q5682023
@@ Property / cites work: Q5682023 / 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 @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858239
@@ Property / cites work: Q3858239 / rank @@
+Normal rank
@@ Property / cites work @@
+On intermediate propositional logics
@@ Property / cites work: On intermediate propositional logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519127
@@ Property / cites work: Q5519127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595146
@@ Property / cites work: Q5595146 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical formulas for <i>K</i>4. Part I: Basic results
+Normal rank
@@ Property / cites work @@
+Canonical formulas for K4. Part II: Cofinal subframe logics
+Normal rank
@@ Property / cites work @@
+Canonical formulas for K4. Part III: the finite model property
+Normal rank
@@ Property / cites work @@
+Q4204132
@@ Property / cites work: Q4204132 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5214733