An algebraic approach to intuitionistic connectives (Q4328824): Difference between revisions

@@ Property / cites work @@
+New solutions to Novikov's problem for intuitionistic connectives
+Normal rank
@@ Property / cites work @@
+Equational classes of relative Stone algebras
@@ Property / cites work: Equational classes of relative Stone algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On some new intuitionistic propositional connectives. I
+Normal rank
@@ Property / cites work @@
+Aspects of topoi
@@ Property / cites work: Aspects of topoi / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite limitations on Dummett's LC
@@ Property / cites work: Finite limitations on Dummett's LC / rank @@
+Normal rank
@@ Property / cites work @@
+Bi-Heyting algebras, toposes and modalities
@@ Property / cites work: Bi-Heyting algebras, toposes and modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in arithmetical algebras
@@ Property / cites work: Completeness in arithmetical algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard connectives of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Affine complete varieties
@@ Property / cites work: Affine complete varieties / rank @@
+Normal rank
@@ Property / cites work @@
+The word problem for \(Heyting^ *\) algebras
@@ Property / cites work: The word problem for \(Heyting^ *\) algebras / rank @@
+Normal rank