First order theory for literal-paraconsistent and literal-paracomplete matrices (Q3583806): Difference between revisions

@@ Property / cites work @@
+Q2767117
@@ Property / cites work: Q2767117 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473260
@@ Property / cites work: Q4473260 / rank @@
+Normal rank
@@ Property / cites work @@
+XML data exchange
@@ Property / cites work: XML data exchange / rank @@
+Normal rank
@@ Property / cites work @@
+Natural 3-valued logics—characterization and proof theory
+Normal rank
@@ Property / cites work @@
+Q3909031
@@ Property / cites work: Q3909031 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699336
@@ Property / cites work: Q4699336 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Valuations with Society Semantics
@@ Property / cites work: Combining Valuations with Society Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraization of logics defined by literal‐paraconsistent or literal‐paracomplete matrices
+Normal rank
@@ Property / cites work @@
+Literal-paraconsistent and literal-paracomplete matrices
+Normal rank
@@ Property / cites work @@
+On The Imaginary Logic of N. A. VASILIEV
@@ Property / cites work: On The Imaginary Logic of N. A. VASILIEV / rank @@
+Normal rank
@@ Property / cites work @@
+Q4777260
@@ Property / cites work: Q4777260 / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal weakly-intuitionistic logics
@@ Property / cites work: Maximal weakly-intuitionistic logics / rank @@
+Normal rank