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