40 years of FDE: an introductory overview (Q1685563): Difference between revisions

@@ Property / cites work @@
+First degree entailments
@@ Property / cites work: First degree entailments / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with logical bilattices
@@ Property / cites work: Reasoning with logical bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893133
@@ Property / cites work: Q4893133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858244
@@ Property / cites work: Q3858244 / 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 @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Q3604278
@@ Property / cites work: Q3604278 / rank @@
+Normal rank
@@ Property / cites work @@
+Belnap's Four-Valued Logic and De Morgan Lattices
@@ Property / cites work: Belnap's Four-Valued Logic and De Morgan Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+On Łukasiewicz's four-valued modal logic
@@ Property / cites work: On Łukasiewicz's four-valued modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract algebraic logic approach to tetravalent modal logics
+Normal rank
@@ Property / cites work @@
+Q5474628
@@ Property / cites work: Q5474628 / rank @@
+Normal rank
@@ Property / cites work @@
+da Costa Meets Belnap and Nelson
@@ Property / cites work: da Costa Meets Belnap and Nelson / rank @@
+Normal rank
@@ Property / cites work @@
+Q5175691
@@ Property / cites work: Q5175691 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532200
@@ Property / cites work: Q4532200 / rank @@
+Normal rank
@@ Property / cites work @@
+Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
+Normal rank
@@ Property / cites work @@
+A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
+Normal rank
@@ Property / cites work @@
+The class of extensions of Nelson's paraconsistent logic
+Normal rank
@@ Property / cites work @@
+Constructive negations and paraconsistency
@@ Property / cites work: Constructive negations and paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3367330
@@ Property / cites work: Q3367330 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2901198
@@ Property / cites work: Q2901198 / rank @@
+Normal rank
@@ Property / cites work @@
+From Paraconsistent Logic to Dialetheic Logic
@@ Property / cites work: From Paraconsistent Logic to Dialetheic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing functional completeness in Belnap-Dunn logic
+Normal rank
@@ Property / cites work @@
+Nothing but the truth
@@ Property / cites work: Nothing but the truth / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of paradox
@@ Property / cites work: The logic of paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Q3518425
@@ Property / cites work: Q3518425 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplified semantics for basic relevant logics
@@ Property / cites work: Simplified semantics for basic relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+THE LATTICE OF SUPER-BELNAP LOGICS
@@ Property / cites work: THE LATTICE OF SUPER-BELNAP LOGICS / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing Belnap's Logic via De Morgan's Laws
+Normal rank
@@ Property / cites work @@
+An infinity of super-Belnap logics
@@ Property / cites work: An infinity of super-Belnap logics / rank @@
+Normal rank
@@ Property / cites work @@
+Four-valued modal logic: Kripke semantics and duality
+Normal rank
@@ Property / cites work @@
+An expansion of first-order Belnap-Dunn logic
@@ Property / cites work: An expansion of first-order Belnap-Dunn logic / rank @@
+Normal rank
@@ Property / cites work @@
+Truth and falsehood. An inquiry into generalized logical values
+Normal rank
@@ Property / cites work @@
+A criterion of fullness of many-valued systems of propositional logic
+Normal rank
@@ Property / cites work @@
+Logic and structure
@@ Property / cites work: Logic and structure / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of information structures
@@ Property / cites work: The logic of information structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532204
@@ Property / cites work: Q4532204 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483018
@@ Property / cites work: Q5483018 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive negation, implication, and co-implication
+Normal rank
@@ Property / cites work @@
+A Gentzen calculus for nothing but the truth
@@ Property / cites work: A Gentzen calculus for nothing but the truth / rank @@
+Normal rank