Deduction Theorems for T, E and R Reconsidered
From MaRDI portal
Publication:4111531
DOI10.1002/malq.19760220135zbMath0344.02013MaRDI QIDQ4111531
Publication date: 1976
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19760220135
03B45: Modal logic (including the logic of norms)
Related Items
Gentzen formulations of two positive relevance logics, Rules in relevant logic. II: Formula representation