A dynamic characterization of the pure logic of relevant implication

DOI10.1023/A:1017520011692MaRDI QIDQ5935796zbMATH OpenFDO

Authors Diderik Batens

Publication date 5 July 2002

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1017520011692

zbMATH Keywords

dynamic logicinterpretationsrelevant logic

Mathematics Subject Classification ID

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

Review text

In this interesting paper the author shows that the relevance logic \(R_\to\) is given by Modus Ponens, Substitution and the Weak Deduction Rule: WDT If \(\Gamma , A\vdash B\) and \(\Gamma \not\vdash B\) then \(\Gamma \vdash A\to B\). This dynamic logic does not have the usual set-theoretic interpretation by which an additional rule can, at most, supply additional theorems. If EQ \(A\to (A\to B)\vdash B\) is added, an equivalence logic results in which \(\vdash (A\to (A\to B))\to (A \to B)\) is no longer provable! Reviewer's remark: The author calls this equivalence logic \(E_\to\), this notation is usually used for Anderson and Belnap's system for entailment.

Recommendations

• On purely relevant logics
• Implicational F-structures and implicational relevance logics
• A generic complete dynamic logic for reasoning about purity and effects
• scientific article; zbMATH DE number 16514
• Completeness of implicational relevant logics
• Pure strict implication logics
• Implicational Logic, Relevance, and Refutability
• A Constructive Proof of a Theorem in Relevance Logic
• A completeness theorem for dynamic logic

Cites work

• Blocks. The clue to dynamic aspects of logic
• Direct dynamic proofs for the Rescher-Manor consequence relations: the flat case
• scientific article; zbMATH DE number 3926879 (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 1735919 (Why is no real title available?)
• On inference from inconsistent premisses
• Relevant implication and the weak deduction theorem

Cited in

(6)

• Rules in relevant logic. II: Formula representation
• A procedural criterion for final derivability in inconsistency-adaptive logics
• A Constructive Proof of a Theorem in Relevance Logic
• scientific article; zbMATH DE number 120341 (Why is no real title available?)
• scientific article; zbMATH DE number 1984514 (Why is no real title available?)
• An adaptive logic based on Jaśkowski's approach to paraconsistency

This page was built for publication: A dynamic characterization of the pure logic of relevant implication

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