Intuitionistic logic with strong negation (Q1241438): Difference between revisions

@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339292
@@ Property / cites work: Q5339292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of the independence of the primitive symbols of Heyting's calculus of propositions
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+N-lattices and constructive logic with strong negation
+Normal rank
@@ Property / cites work @@
+A semantical study of constructible falsity
@@ Property / cites work: A semantical study of constructible falsity / rank @@
+Normal rank