A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217): Difference between revisions

@@ Property / DOI @@
-.1007/s10992-022-09692-2
@@ Property / DOI: 10.1007/s10992-022-09692-2 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+The normal and self-extensional extension of Dunn-Belnap logic
+Normal rank
@@ Property / cites work @@
+Proof Systems for 3-valued Logics Based on Gödel’s Implication
+Normal rank
@@ Property / cites work @@
+EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962967
@@ Property / cites work: Q3962967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4961804
@@ Property / cites work: Q4961804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3543573
@@ Property / cites work: Q3543573 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal inconsistency and evolutionary databases
@@ Property / cites work: Formal inconsistency and evolutionary databases / 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 @@
+Partiality and its dual
@@ Property / cites work: Partiality and its dual / rank @@
+Normal rank
@@ Property / cites work @@
+An extended first-order Belnap-Dunn logic with classical negation
+Normal rank
@@ Property / cites work @@
+Jaśkowski's criterion and three-valued paraconsistent logics
+Normal rank
@@ Property / cites work @@
+Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
+Normal rank
@@ Property / cites work @@
+A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
+Normal rank
@@ Property / cites work @@
+The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic
+Normal rank
@@ Property / cites work @@
+Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
+Normal rank
@@ Property / cites work @@
+Where gamma fails
@@ Property / cites work: Where gamma fails / rank @@
+Normal rank
@@ Property / cites work @@
+years of FDE: an introductory overview
@@ Property / cites work: 40 years of FDE: an introductory overview / rank @@
+Normal rank
@@ Property / cites work @@
+New Essays on Belnap-Dunn Logic
@@ Property / cites work: New Essays on Belnap-Dunn Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondence analysis and automated proof-searching for first degree entailment
+Normal rank
@@ Property / cites work @@
+A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
+Normal rank
@@ Property / cites work @@
+Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
+Normal rank
@@ Property / cites work @@
+The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
+Normal rank
@@ Property / cites work @@
+A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic
+Normal rank
@@ Property / cites work @@
+Q5039176
@@ Property / cites work: Q5039176 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistency Tolerance
@@ Property / cites work: Inconsistency Tolerance / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10992-022-09692-2
@@ Property / DOI: 10.1007/S10992-022-09692-2 / rank @@
+Normal rank