Catalog description: Introduction to deductive logic. Topics include: basic concepts of deductive logic; techniques of formal proof in propositional and predicate logic. 3 units. Prerequisites: No ...

This course is available on the MPhil/PhD in Philosophy. This course is not available as an outside option to students on other programmes. The course is, in general, only aimed at those students who ...

Girard introduced phase semantics as a complete set-theoretic semantics of linear logic, and Okada modified phase-semantic completeness proofs to obtain normalform theorems. On the basis of these ...

Abstract: Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have to face ...