Deduction Theorems for Relevant Logics
From MaRDI portal
Publication:5675347
DOI10.1002/MALQ.19730190306zbMath0261.02014OpenAlexW1998440673MaRDI 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
Related Items (3)
Non-Boolean classical relevant logics. I ⋮ Rules in relevant logic. I: Semantic classification ⋮ Rules in relevant logic. II: Formula representation
This page was built for publication: Deduction Theorems for Relevant Logics