Relevant implication and the weak deduction theorem

DOI10.1007/BF00372548zbMath0646.03012OpenAlexW2071263646MaRDI QIDQ1103605

Diderik Batens

Publication date: 1987

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00372548

zbMATH Keywords

relevant logicrelevant deductionRelevant implicational calculusweak deduction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

A dynamic characterization of the pure logic of relevant implication

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Relevant implication and the weak deduction theorem