Combining classical logic, paraconsistency and relevance

DOI10.1016/J.JAL.2004.07.015zbMATH Open1067.03030OpenAlexW2059075712MaRDI QIDQ1775868FDOQ1775868

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

Recommendations

• Proof systems combining classical and paraconsistent negations
• Inconsistency Tolerance
• scientific article; zbMATH DE number 2019860
• scientific article; zbMATH DE number 1140673
• Combining Classical and Intuitionistic Implications

zbMATH Keywords

paraconsistencyclassical logicrelevance 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)

Cites Work

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

Cited In (13)

• What is relevance logic?
• Inconsistency Tolerance
• Title not available (Why is that?)
• Reducing Preferential Paraconsistent Reasoning to Classical Entailment
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• An adaptive logic for relevant classical deduction
• An Approach to Paraconsistent Multivalued Logic: Evaluation by Complex Truth Values
• Relevant logic as a basis for paraconsistent epistemic logics
• Relevance Logic as a Conservative Extension of Classical Logic
• Proof systems combining classical and paraconsistent negations
• Merging fragments of classical logic
• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• Three-Valued Paraconsistent Propositional Logics

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

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