Minimal Complete Propositional Natural Deduction Systems

Authors

Wafik Boulos Lotfallah, The American University in Cairo (AUC)Follow

Author's Department

Mathematics & Actuarial Science Department

Find in your Library

http://www.worldcat.org/oclc/1188438189

All Authors

Amr Elnashar; Wafik Boulos Lotfallah

Document Type

Research Article

Publication Title

Journal of Philosophical Logic

Publication Date

10-1-2018

doi

10.1007/s10992-017-9450-1

First Page

803

Last Page

815

Recommended Citation

APA Citation

Lotfallah, W. B. (2018). Minimal Complete Propositional Natural Deduction Systems. Journal of Philosophical Logic, 47(5), 803–815. https://doi.org/10.1007/s10992-017-9450-1

MLA Citation

Lotfallah, Wafik Boulos "Minimal Complete Propositional Natural Deduction Systems." Journal of Philosophical Logic, vol. 47, no. 5, 2018, pp. 803–815.
https://doi.org/10.1007/s10992-017-9450-1