Self-extensional three-valued paraconsistent logics (Q1682293): Difference between revisions

@@ Property / cites work @@
+A calculus of antinomics
@@ Property / cites work: A calculus of antinomics / rank @@
+Normal rank
@@ Property / cites work @@
+A non-deterministic view on non-classical negations
+Normal rank
@@ Property / cites work @@
+Q3112289
@@ Property / cites work: Q3112289 / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
+Normal rank
@@ Property / cites work @@
+Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
+Normal rank
@@ Property / cites work @@
+Self-extensional three-valued paraconsistent logics have no implication
+Normal rank
@@ Property / cites work @@
+Idempotent full paraconsistent negations are not algebraizable
+Normal rank
@@ Property / cites work @@
+Logics of Formal Inconsistency
@@ Property / cites work: Logics of Formal Inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722043
@@ Property / cites work: Q4722043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757760
@@ Property / cites work: Q2757760 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Brief study of G'<sub>3</sub> logic
@@ Property / cites work: Brief study of G'<sub>3</sub> logic / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of paradox
@@ Property / cites work: The logic of paradox / rank @@
+Normal rank
@@ Property / cites work @@
+A paraconsistent 3-valued logic related to Godel logic G3
+Normal rank
@@ Property / cites work @@
+Q4777260
@@ Property / cites work: Q4777260 / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistency and the C-systems of da Costa
@@ Property / cites work: Paraconsistency and the C-systems of da Costa / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789456
@@ Property / cites work: Q4789456 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank