Deduction Theorems for Relevant Logics
From MaRDI portal
Publication:5675347
DOI10.1002/malq.19730190306zbMath0261.02014MaRDI QIDQ5675347
Publication date: 1973
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19730190306
03B45: Modal logic (including the logic of norms)
Related Items
Rules in relevant logic. I: Semantic classification, Rules in relevant logic. II: Formula representation, Non-Boolean classical relevant logics. I