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

@@ Property / author @@
+Roberto L. O. Cignoli
@@ Property / author: Roberto L. O. Cignoli / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2694965
@@ Property / full work available at URL: https://doi.org/10.2307/2694965 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2053722013
@@ Property / OpenAlex ID: W2053722013 / rank @@
+Normal rank
@@ 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