Implicational Logic, Relevance, and Refutability

DOI10.12775/LLP.2019.024MaRDI QIDQ5006815zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 2097005
• Inconsistency Tolerance
• Completeness of implicational relevant logics
• scientific article; zbMATH DE number 1028818
• Relevance logics and intuitionistic negation
• Propositional logic extended with a pedagogically useful relevant implication
• The implicational nature of logic: A structuralist account
• scientific article; zbMATH DE number 3957057
• On the role of implication in formal logic
• Implicational F-structures and implicational relevance logics

Cites work

• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• A note on R-Mingle and Sobociński's three-valued logic
• Handbook of philosophical logic. Vol. 6
• Maximality and refutability
• Proof of a conjecture of McKay
• Relevance and paraconsistency - a new approach. II: The formal systems
• Relevant entailment—semantics and formal systems
• Semantical investigations in Heyting's intuitionistic logic
• The RM paraconsistent refutation system

Cited in

(15)

• Logical foundation of the quintuple implication inference methods
• Relevant implication and the weak deduction theorem
• scientific article; zbMATH DE number 120341 (Why is no real title available?)
• Implicit and explicit stances in logic
• Contenability and the Logic of Consequential Implication
• Logic, Indispensability and Aposteriority
• A dynamic characterization of the pure logic of relevant implication
• scientific article; zbMATH DE number 2109242 (Why is no real title available?)
• Structuralist logic: implications, inferences, and consequences
• scientific article; zbMATH DE number 3847358 (Why is no real title available?)
• scientific article; zbMATH DE number 614413 (Why is no real title available?)
• scientific article; zbMATH DE number 1778909 (Why is no real title available?)
• scientific article; zbMATH DE number 6741895 (Why is no real title available?)
• The undecidability of entailment and relevant implication
• Relevant implication and the case for a weaker logic

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)