Paraconsistent double negations as classical and intuitionistic negations (Q1685568): Difference between revisions

@@ Property / cites work @@
+Constructible falsity and inexact predicates
@@ Property / cites work: Constructible falsity and inexact predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent logic from a modal viewpoint
@@ Property / cites work: Paraconsistent logic from a modal viewpoint / rank @@
+Normal rank
@@ Property / cites work @@
+Q3018991
@@ Property / cites work: Q3018991 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical negation and expansions of Belnap-Dunn logic
+Normal rank
@@ Property / cites work @@
+Q3218105
@@ Property / cites work: Q3218105 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic with strong negation
@@ Property / cites work: Intuitionistic logic with strong negation / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of weak double negations
@@ Property / cites work: A hierarchy of weak double negations / rank @@
+Normal rank
@@ Property / cites work @@
+Trilattice logic: an embedding-based approach
@@ Property / cites work: Trilattice logic: an embedding-based approach / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent double negation as a modal operator
+Normal rank
@@ Property / cites work @@
+Embedding from multilattice logic into classical logic and vice versa
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+The class of extensions of Nelson's paraconsistent logic
+Normal rank
@@ Property / cites work @@
+Q3858239
@@ Property / cites work: Q3858239 / rank @@
+Normal rank
@@ Property / cites work @@
+Truth, Falsehood, Information and Beyond: The American Plan Generalized
+Normal rank
@@ Property / cites work @@
+Q5813184
@@ Property / cites work: Q5813184 / rank @@
+Normal rank