Minimal complete propositional natural deduction systems
From MaRDI portal
Publication:1633213
DOI10.1007/s10992-017-9450-1zbMath1457.03022MaRDI QIDQ1633213
Amr Elnashar, Wafik Boulos Lotfallah
Publication date: 19 December 2018
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-017-9450-1
03B05: Classical propositional logic
Cites Work