Implicational Logic, Relevance, and Refutability

DOI10.12775/LLP.2019.024zbMATH Open1478.03045OpenAlexW2954552400WikidataQ127555684 ScholiaQ127555684MaRDI QIDQ5006815FDOQ5006815

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Maximality and refutability
• 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
• Relevant entailment—semantics and formal systems
• Relevance and paraconsistency - a new approach. II: The formal systems
• Proof of a conjecture of McKay
• The RM paraconsistent refutation system

Cited In (15)

• Logical foundation of the quintuple implication inference methods
• Title not available (Why is that?)
• Relevant implication and the weak deduction theorem
• Contenability and the Logic of Consequential Implication
• Implicit and explicit stances in logic
• Logic, Indispensability and Aposteriority
• A dynamic characterization of the pure logic of relevant implication
• Title not available (Why is that?)
• Structuralist logic: implications, inferences, and consequences
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The undecidability of entailment and relevant implication
• Relevant implication and the case for a weaker logic

   Recommendations

• Title not available (Why is that?) 👍 👎
• Inconsistency Tolerance 👍 👎
• Completeness of implicational relevant logics 👍 👎
• Title not available (Why is that?) 👍 👎
• Relevance logics and intuitionistic negation 👍 👎
• Title not available (Why is that?) 👍 👎
• The implicational nature of logic: A structuralist account 👍 👎
• Title not available (Why is that?) 👍 👎
• On the role of implication in formal logic 👍 👎
• Implicational F-structures and implicational relevance logics 👍 👎

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

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