Stable formulas in intuitionistic logic (Q1782236): Difference between revisions

@@ Property / cites work @@
+AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
+Normal rank
@@ Property / cites work @@
+An algebraic approach to canonical formulas: modal case
+Normal rank
@@ Property / cites work @@
+CANONICAL FORMULAS FOR <b>wK4</b>
@@ Property / cites work: CANONICAL FORMULAS FOR <b>wK4</b> / rank @@
+Normal rank
@@ Property / cites work @@
+Locally finite reducts of Heyting algebras and canonical formulas
+Normal rank
@@ Property / cites work @@
+STABLE CANONICAL RULES
@@ Property / cites work: STABLE CANONICAL RULES / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to subframe logics. Intuitionistic case
+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 @@
+Q4636285
@@ Property / cites work: Q4636285 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+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 @@
+Q4342082
@@ Property / cites work: Q4342082 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntax and semantics of superintuitionistic logics
+Normal rank
@@ Property / cites work @@
+Canonical formulas for K4. Part II: Cofinal subframe logics
+Normal rank