The classical constraint on relevance

DOI10.1007/S11787-013-0092-YzbMATH Open1344.03027OpenAlexW2040662776MaRDI QIDQ2254555FDOQ2254555

Authors: Arnon Avron 

Publication date: 5 February 2015

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-013-0092-y

Recommendations

• Relevance Logic as a Conservative Extension of Classical Logic
• A pretabular classical relevance logic
• Non-Boolean classical relevant logics. I
• A new approach to classical relevance
• \(\mathbf R\) and relevance principle revisited

zbMATH Keywords

relevance logicsclassical logictranslationstautologies

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Title not available (Why is that?)
• Whither relevance logic?
• Relevant entailment—semantics and formal systems
• What is relevance logic?
• Relevance and paraconsistency - a new approach. II: The formal systems
• On purely relevant logics
• Relevance and paraconsistency—a new approach

Cited In (5)

• Title not available (Why is that?)
• Truth-value constants in multi-valued logics
• Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
• On the methodology of paraconsistent logic
• Semi-implication: a chapter in universal logic

This page was built for publication: The classical constraint on relevance

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