What is relevance logic?

DOI10.1016/J.APAL.2013.07.004MaRDI QIDQ392272zbMATH OpenOpenAlexFDO

Authors 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) Paraconsistent logics (03B53) Abstract deductive systems (03B22) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• scientific article; zbMATH DE number 2101978
• R and relevance principle revisited
• scientific article; zbMATH DE number 4053570
• Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective
• scientific article; zbMATH DE number 4057477

Cites work

• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1852926 (Why is no real title available?)
• A note on R-Mingle and Sobociński's three-valued logic
• CHR: a constructive relevant natural-deduction logic
• Combining classical logic, paraconsistency and relevance
• Handbook of philosophical logic. Vol. 6
• Linear logic
• Multiplicative Conjunction as an Extensional Conjunction
• Multiplicative conjunction and an algebraic meaning of contraction and weakening
• Relevant entailment—semantics and formal systems
• Some remarks on the consequence operation in sentential logics
• The semantics and proof theory of linear logic
• The undecidability of entailment and relevant implication
• Theory of logical calculi. Basic theory of consequence operations
• Whither relevance logic?

Cited in

(33)

• Generalising tautological entailment
• Singly generated quasivarieties and residuated structures
• Some relevance logics from the point of view of relational semantics
• Paraconsistency and the need for infinite semantics
• An analysis of poly-connexivity
• Hierarchical semantics for relevant logics
• Confused entailment
• Relevance for the classical logician
• Interpretations of weak positive modal logics
• The Relevant Equivalence Property
• Relevant logics obeying component homogeneity
• What is a relevant connective?
• Relevance logic (to appear)
• scientific article; zbMATH DE number 2101978 (Why is no real title available?)
• Relevance and conformity
• The classical constraint on relevance
• \(\mathbf R\) and relevance principle revisited
• A non-transitive relevant implication corresponding to classical logic consequence
• Relevance-Sensitive Truth-Trees
• The relevance of premises to conclusions of core proofs
• Incorporating the relation into the language? A survey of approaches in relating logic
• scientific article; zbMATH DE number 4142005 (Why is no real title available?)
• scientific article; zbMATH DE number 4135906 (Why is no real title available?)
• \(\mathbf{RM}\) and its nice properties
• scientific article; zbMATH DE number 4097343 (Why is no real title available?)
• A new approach to classical relevance
• A generalized proof-theoretic approach to logical argumentation based on hypersequents
• Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
• R-Mingle is Nice, and so is Arnon Avron
• scientific article; zbMATH DE number 4047689 (Why is no real title available?)
• Relevant entailment—semantics and formal systems
• Semi-implication: a chapter in universal logic
• The decidability of the intensional fragment of classical linear logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q392272)