The following pages link to Inconsistency Tolerance (Q5464034):
Displayed 12 items.
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822) (← links)
- Gentzenization and decidability of some contraction-less relevant logics (Q2277247) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE (Q2695525) (← links)
- The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
- Relational semantics for the 4-valued relevant logics BN4 and E4 (Q2987765) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B (Q5066095) (← links)
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes (Q5066097) (← links)
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)
- Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B (Q6162077) (← links)