A dynamic characterization of the pure logic of relevant implication
From MaRDI portal
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
- 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?)
- Blocks. The clue to dynamic aspects of logic
- Direct dynamic proofs for the Rescher-Manor consequence relations: the flat case
- On inference from inconsistent premisses
- Relevant implication and the weak deduction theorem
Cited in
(6)- scientific article; zbMATH DE number 120341 (Why is no real title available?)
- An adaptive logic based on Jaśkowski's approach to paraconsistency
- A Constructive Proof of a Theorem in Relevance Logic
- Rules in relevant logic. II: Formula representation
- scientific article; zbMATH DE number 1984514 (Why is no real title available?)
- A procedural criterion for final derivability in inconsistency-adaptive logics
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)
