A dynamic characterization of the pure logic of relevant implication

DOI10.1023/A:1017520011692zbMath0988.03038MaRDI QIDQ5935796

Diderik Batens

Publication date: 5 July 2002

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

zbMATH Keywords

dynamic logicinterpretationsrelevant logic

Mathematics Subject Classification ID

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

Related Items (2)

An adaptive logic based on Jaśkowski's approach to paraconsistency ⋮ A procedural criterion for final derivability in inconsistency-adaptive logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relevant implication and the weak deduction theorem
• On inference from inconsistent premisses
• Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case

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