Combining classical logic, paraconsistency and relevance

DOI10.1016/J.JAL.2004.07.015MaRDI QIDQ1775868zbMATHOpenAlexFDO

Authors 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

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)

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

Cites work

• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 45458 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 1489626 (Why is no real title available?)
• scientific article; zbMATH DE number 3077773 (Why is no real title available?)
• A constructive analysis of RM
• Axiomatic System, Deduction and Implication
• Linear logic
• Multiplicative Conjunction as an Extensional Conjunction
• On an implication connective of RM
• On interpretation of inconsistent theories
• On the theory of inconsistent formal systems
• Relevant entailment—semantics and formal systems
• Simple consequence relations
• The validity of disjunctive syllogism is not so easily proved
• Whither relevance logic?

Cited in

(14)

• Relevance Logic as a Conservative Extension of Classical Logic
• Propositional logic extended with a pedagogically useful relevant implication
• An adaptive logic for relevant classical deduction
• What is relevance logic?
• Inconsistency Tolerance
• Merging fragments of classical logic
• Proof systems combining classical and paraconsistent negations
• Three-valued paraconsistent propositional logics
• An approach to paraconsistent multivalued logic: evaluation by complex truth values
• scientific article; zbMATH DE number 2019860 (Why is no real title available?)
• Reducing Preferential Paraconsistent Reasoning to Classical Entailment
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• Relevant logic as a basis for paraconsistent epistemic logics
• Maximal and premaximal paraconsistency in the framework of three-valued semantics

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)