scientific article

zbMath0559.03011MaRDI QIDQ3347856

Ross T. Brady

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

consistencyentailmentnaive set theorynon-trivialityHilbert-style axiomatizations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Consistency and independence results (03E35)

Related Items

Neighbourhood semantics for quantified relevant logics ⋮ What is a relevant connective? ⋮ A content semantics for quantified relevant logics. I ⋮ BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH ⋮ Neighbourhood semantics for modal relevant logics ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ A substructural approach to explicit modal logic ⋮ A content semantics for quantified relevant logics. II ⋮ Distribution in the Logic of Meaning Containment and in Quantum Mechanics ⋮ Failure of interpolation in relevant logics ⋮ Simplified semantics for relevant logics (and some of their rivals) ⋮ A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ Notes on stratified semantics ⋮ Rules in relevant logic. I: Semantic classification ⋮ Rules in relevant logic. II: Formula representation ⋮ Revisiting Semilattice Semantics