Combining classical logic, paraconsistency and relevance

DOI10.1016/j.jal.2004.07.015zbMath1067.03030OpenAlexW2059075712MaRDI QIDQ1775868

Arnon Avron

Publication date: 4 May 2005

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2004.07.015

zbMATH Keywords

paraconsistencyrelevance logicclassical logicGentzen-type systemsmany-valued semantics

Mathematics Subject Classification ID

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

Related Items (5)

Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ What is relevance logic? ⋮ Maximal and premaximal paraconsistency in the framework of three-valued semantics ⋮ Three-Valued Paraconsistent Propositional Logics ⋮ An Approach to Paraconsistent Multivalued Logic: Evaluation by Complex Truth Values

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Simple consequence relations
• On an implication connective of RM
• On interpretation of inconsistent theories
• The validity of disjunctive syllogism is not so easily proved
• Whither relevance logic?
• On the theory of inconsistent formal systems
• Multiplicative Conjunction as an Extensional Conjunction
• Relevant entailment—semantics and formal systems
• A constructive analysis of RM
• Axiomatic System, Deduction and Implication

This page was built for publication: Combining classical logic, paraconsistency and relevance