MaTest

swMATH11873MaRDI QIDQ23809FDOQ23809

Author name not available (Why is that?)

Cited In (11)

• 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
• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes
• 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
• The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic

This page was built for software: MaTest