View in EDS HTML Full Text PDF Full Text

Minimal Complete Propositional Natural Deduction Systems.

Saved in:
Bibliographic Details
Title: Minimal Complete Propositional Natural Deduction Systems.
Authors: Elnashar, Amr1 amr92_@aucegypt.edu, Lotfallah, Wafik Boulos1 lotfallah@aucegypt.edu
Source: Journal of Philosophical Logic. Oct2018, Vol. 47 Issue 5, p803-815. 13p.
Database: Academic Search Ultimate
Full text is not displayed to guests.
Description
ISSN:00223611
DOI:10.1007/s10992-017-9450-1