AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE (Q3644804): Difference between revisions

@@ Property / cites work @@
+On formulas of one variable in intuitionistic propositional calculus
+Normal rank
@@ Property / cites work @@
+Intermediate logics with the same disjunctionless fragment as intuitionistic logic
+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 @@
+The decidability of certain intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+Brouwerian Semilattices
@@ Property / cites work: Brouwerian Semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Logics containing <i>K</i>4. Part II
@@ Property / cites work: Logics containing <i>K</i>4. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735758
@@ Property / cites work: Q3735758 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical formulas for K4. Part II: Cofinal subframe logics
+Normal rank
@@ Property / cites work @@
+Canonical formulas for <i>K</i>4. Part I: Basic results
+Normal rank
@@ Property / cites work @@
+Syntax and semantics of superintuitionistic logics
+Normal rank
@@ Property / cites work @@
+The lattice of modal logics: an algebraic investigation
+Normal rank
@@ Property / cites work @@
+Frame based formulas for intermediate logics
@@ Property / cites work: Frame based formulas for intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+On intermediate propositional logics
@@ Property / cites work: On intermediate propositional logics / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to subframe logics. Intuitionistic case
+Normal rank
@@ Property / cites work @@
+Profinite Heyting algebras
@@ Property / cites work: Profinite Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Implicative Semi-Lattices
@@ Property / cites work: Implicative Semi-Lattices / rank @@
+Normal rank