He constructed the first propositional logic and the first predicate logic. A few years later, but independently, the Italian mathematician Giuseppe Peano also invented a version of predicate logic.

In this paper, we first formulate phase semantics for proof-terms of second-order intuitionistic propositional logic by modifying TaitGirard's saturated sets method. Next, we prove the completeness ...

This paper studies the relationship between Argumentation Logic (AL), a recently defined logic based on the study of argumentation in AI, and classical Propositional Logic (PL). In particular, it ...