MaGIC
From MaRDI portal
Software:23808
No author found.
Related Items (18)
EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes ⋮ Farewell to suppression-freedom ⋮ SUBSTITUTION IN RELEVANT LOGICS ⋮ Non-Boolean classical relevant logics. I ⋮ A simple Henkin-style completeness proof for Gödel 3-valued logic G3 ⋮ Shortest axiomatizations of implicational S4 and S5 ⋮ Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 ⋮ Basic quasi-Boolean expansions of relevance logics ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism ⋮ Comments on some completeness theorems of Urquhart and Méndez \& Salto ⋮ PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4 ⋮ Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency ⋮ The basic constructive logic for a weak sense of consistency ⋮ The basic constructive logic for negation-consistency ⋮ The basic constructive logic for absolute consistency ⋮ Negation introduced with the unary connective ⋮ Unnamed Item
This page was built for software: MaGIC
