What is relevance logic?

DOI10.1016/J.APAL.2013.07.004zbMATH Open1325.03022OpenAlexW2028709941MaRDI QIDQ392272FDOQ392272

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

Recommendations

• scientific article; zbMATH DE number 2101978
• \(\mathbf 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

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)

Cites Work

• The semantics and proof theory of linear logic
• Theory of logical calculi. Basic theory of consequence operations
• The undecidability of entailment and relevant implication
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• CHR: a constructive relevant natural-deduction logic
• 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
• 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

Cited In (31)

• A non-transitive relevant implication corresponding to classical logic consequence
• Generalising tautological entailment
• Some relevance logics from the point of view of relational semantics
• Paraconsistency and the need for infinite semantics
• Incorporating the relation into the language? A survey of approaches in relating logic
• A generalized proof-theoretic approach to logical argumentation based on hypersequents
• The Relevant Equivalence Property
• \(\mathbf{RM}\) and its nice properties
• Relevant logics obeying component homogeneity
• Title not available (Why is that?)
• The relevance of premises to conclusions of core proofs
• The classical constraint on relevance
• 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
• Singly generated quasivarieties and residuated structures
• Title not available (Why is that?)
• An analysis of poly-connexivity
• The decidability of the intensional fragment of classical linear logic
• Interpretations of weak positive modal logics
• Relevant entailment—semantics and formal systems
• Relevance-Sensitive Truth-Trees
• A new approach to classical relevance
• Hierarchical semantics for relevant logics
• Relevance for the classical logician
• Title not available (Why is that?)
• Semi-implication: a chapter in universal logic
• What is a relevant connective?
• \(\mathbf R\) and relevance principle revisited
• Title not available (Why is that?)
• Relevance and conformity
• Title not available (Why is that?)

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)