Semi-intuitionistic logic with strong negation (Q1743996): Difference between revisions

@@ Property / cites work @@
+Semi-intuitionistic logic
@@ Property / cites work: Semi-intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+On some semi-intuitionistic logics
@@ Property / cites work: On some semi-intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-Nelson algebras
@@ Property / cites work: Semi-Nelson algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-intuitionistic logic with strong negation
@@ Property / cites work: Semi-intuitionistic logic with strong negation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5518341
@@ Property / cites work: Q5518341 / rank @@
+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 @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3605557
@@ Property / cites work: Q3605557 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on \(\eta\)-lattices and constructive logic with strong negation
+Normal rank