What is relevance logic?

DOI10.1016/j.apal.2013.07.004zbMath1325.03022OpenAlexW2028709941MaRDI QIDQ392272

Arnon Avron

Publication date: 13 January 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2013.07.004

zbMATH Keywords

linear logicrelevance logicsconnectivesentailment relations

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Abstract deductive systems (03B22) Paraconsistent logics (03B53)

Related Items (16)

THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS ⋮ Incorporating the Relation into the Language? ⋮ What is a relevant connective? ⋮ An analysis of poly-connexivity ⋮ RELEVANCE FOR THE CLASSICAL LOGICIAN ⋮ Singly generated quasivarieties and residuated structures ⋮ $$\mathbf {RM}$$ RM and its Nice Properties ⋮ The classical constraint on relevance ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ The decidability of the intensional fragment of classical linear logic ⋮ Paraconsistency and the need for infinite semantics ⋮ Semi-implication: A Chapter in Universal Logic ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) ⋮ Interpretations of Weak Positive Modal Logics ⋮ R-Mingle is Nice, and so is Arnon Avron ⋮ Relevance-Sensitive Truth-Trees

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• The semantics and proof theory of linear logic
• Theory of logical calculi. Basic theory of consequence operations
• Whither relevance logic?
• Combining classical logic, paraconsistency and relevance
• Handbook of philosophical logic. Vol. 6
• A note on R-Mingle and Sobociński's three-valued logic
• Multiplicative Conjunction as an Extensional Conjunction
• The undecidability of entailment and relevant implication
• Relevant entailment—semantics and formal systems
• Multiplicative conjunction and an algebraic meaning of contraction and weakening
• Some remarks on the consequence operation in sentential logics

This page was built for publication: What is relevance logic?