The following pages link to MaGIC (Q23808):
Displaying 18 items.
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency (Q735410) (← links)
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism (Q965858) (← links)
- The basic constructive logic for a weak sense of consistency (Q1006487) (← links)
- The basic constructive logic for negation-consistency (Q1006496) (← links)
- The basic constructive logic for absolute consistency (Q1016031) (← links)
- Shortest axiomatizations of implicational S4 and S5 (Q1430904) (← links)
- Farewell to suppression-freedom (Q2198315) (← links)
- Basic quasi-Boolean expansions of relevance logics (Q2236601) (← links)
- Non-Boolean classical relevant logics. I (Q2695399) (← links)
- A simple Henkin-style completeness proof for Gödel 3-valued logic G3 (Q2987717) (← links)
- Negation introduced with the unary connective (Q3400792) (← links)
- PARACONSISTENT LOGICS INCLUDED IN LEWIS’ S4 (Q4933593) (← links)
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes (Q5066097) (← links)
- SUBSTITUTION IN RELEVANT LOGICS (Q5117597) (← links)
- Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation (Q5156187) (← links)
- (Q5411421) (← links)
- Comments on some completeness theorems of Urquhart and Méndez \& Salto (Q5935786) (← links)
