On certain normalizable natural deduction formulations of some propositional intermediate logics
From MaRDI portal
Publication:1117920
DOI10.1305/ndjfl/1093638020zbMath0668.03010MaRDI QIDQ1117920
Publication date: 1988
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093638020
Related Items
Harmony in multiple-conclusion natural-deduction, An alternative normalization of the implicative fragment of classical logic