MaGIC

swMATH11872MaRDI QIDQ23808FDOQ23808

Author name not available (Why is that?)

Official website: http://users.cecs.anu.edu.au/~jks/magic.html

Cited In (19)

• SUBSTITUTION IN RELEVANT LOGICS
• A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
• Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective
• Basic quasi-Boolean expansions of relevance logics
• Paraconsistent logics included in Lewis' S4
• A simple Henkin-style completeness proof for Gödel 3-valued logic G3
• Shortest axiomatizations of implicational S4 and S5
• Title not available (Why is that?)
• Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency
• The basic constructive logic for negation-consistency
• The basic constructive logic for absolute consistency
• Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
• MaTest
• Comments on some completeness theorems of Urquhart and Méndez \& Salto
• The basic constructive logic for a weak sense of consistency
• Non-Boolean classical relevant logics. I
• EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes
• Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
• Farewell to suppression-freedom

This page was built for software: MaGIC