Implicational Logic, Relevance, and Refutability

DOI10.12775/LLP.2019.024zbMath1478.03045OpenAlexW2954552400WikidataQ127555684 ScholiaQ127555684MaRDI QIDQ5006815

Tomasz Skura

Publication date: 17 August 2021

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

Full work available at URL: https://doi.org/10.12775/llp.2019.024

zbMATH Keywords

relevance logicrefutation systemsimplicational logic

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Maximality and refutability
• Relevance and paraconsistency - a new approach. II: The formal systems
• Semantical investigations in Heyting's intuitionistic logic
• Handbook of philosophical logic. Vol. 6
• A note on R-Mingle and Sobociński's three-valued logic
• The RM paraconsistent refutation system
• Relevant entailment—semantics and formal systems
• Proof of a conjecture of McKay

This page was built for publication: Implicational Logic, Relevance, and Refutability