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
Non-Boolean classical relevant logics. I, Rules in relevant logic. I: Semantic classification, Rules in relevant logic. II: Formula representation