The first axiomatization of relevant logic

DOI10.1007/BF00260740zbMath0767.03009MaRDI QIDQ1206805

Kosta Došen

Publication date: 1 April 1993

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

provabilitycompatibilityparadoxes of material implicationaxiomatization of relevance logicimplication-negation fragment of the Anderson-Belnap system \(R\)intensional conjunctionmodal logic \(S4\)survey review

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) History of mathematical logic and foundations (03-03) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (9)

A relevant logic of questions ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Reflections on Orlov ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS ⋮ New consecution calculi for \(R^{t}_{\to}\) ⋮ Normal proofs, cut free derivations and structural rules ⋮ Relevant Connexive Logic ⋮ Oskar Becker and the modal translation of intuitionistic logic

Cites Work

• Linear logic
• Intuitionism. An introduction
• Sequent-systems and groupoid models. I
• Modal translations in substructural logics
• Untersuchungen über das logische Schliessen. I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The first axiomatization of relevant logic