Decidability problem for finite Heyting algebras (Q3815356): Difference between revisions

@@ Property / cites work @@
+Equational classes of relative Stone algebras
@@ Property / cites work: Equational classes of relative Stone algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Logic with truth values in A linearly ordered heyting algebra
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke models and intermediate logics
@@ Property / cites work: Kripke models and intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+A series of successive modifications of Peirce's rule
+Normal rank
@@ Property / cites work @@
+Undecidability of Brouwerian semilattices
@@ Property / cites work: Undecidability of Brouwerian semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for the separable axiomatization of Gödel's $S_n $
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank