The RM paraconsistent refutation system

DOI10.12775/LLP.2009.005MaRDI QIDQ3400308zbMATH OpenFDO

Authors Tomasz Skura

Publication date 5 February 2010

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/LLP.2009.005

zbMATH Keywords

paraconsistent logicrelevant logicrefutation systems

Mathematics Subject Classification ID

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

Recommendations

• A constructive analysis of RM
• Relevance and paraconsistency - a new approach. II: The formal systems
• On an implication connective of RM
• Refutation systems in modal logic
• Refutation systems for a system of nonsense-logic

Cited in

(6)

• scientific article; zbMATH DE number 2109538 (Why is no real title available?)
• scientific article; zbMATH DE number 2024621 (Why is no real title available?)
• Implicational Logic, Relevance, and Refutability
• scientific article; zbMATH DE number 4137752 (Why is no real title available?)
• A note on \textbf{R}-mingle and the danger of safety
• On an implication connective of RM

This page was built for publication: The RM paraconsistent refutation system

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