What is relevance logic?

DOI10.1016/j.apal.2013.07.004zbMath1325.03022MaRDI 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 logic; relevance logics; connectives; entailment relations

Mathematics Subject Classification ID

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

03F52: Proof-theoretic aspects of linear logic and other substructural logics

03B22: Abstract deductive systems

03B53: Paraconsistent logics

Related Items

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, Incorporating the Relation into the Language?, RELEVANCE FOR THE CLASSICAL LOGICIAN, Singly generated quasivarieties and residuated structures, Semi-implication: A Chapter in Universal Logic, A generalized proof-theoretic approach to logical argumentation based on hypersequents, What is a relevant connective?, An analysis of poly-connexivity, The classical constraint on relevance, Paraconsistency and the need for infinite semantics, The decidability of the intensional fragment of classical linear logic, $$\mathbf {RM}$$ RM and its Nice Properties, THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS

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