What is relevance logic?
From MaRDI portal
Publication:392272
DOI10.1016/j.apal.2013.07.004zbMath1325.03022OpenAlexW2028709941MaRDI QIDQ392272
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
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?