Cited in
(12)- Curry's paradox, generalized modus ponens axiom and depth relevance
- Ticket entailment plus the mingle axiom has the variable-sharing property
- A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
- Relational semantics for the 4-valued relevant logics BN4 and E4
- An interpretation of Łukasiewicz's 4-valued modal logic
- A simple Henkin-style completeness proof for Gödel 3-valued logic G3
- The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic
- MaGIC
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
- Blocking the routes to triviality with depth relevance
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes
This page was built for software: MaTest
