We attempt to define the classical propositional logic by use of appropriate derivability conditions called Cn-definitions. The conditions characterize basic properties of propositional connectives.

Presents propositional logic, combinatorics, methods of proof, mathematical systems, algebra of sets, matrix algebra, relations and functions, recursion and generating functions, applications to ...

I consider the idea of a propositional logic of location based on the following semantic framework, derived from ideas of Prior. We have a collection L of the locations and a collection S of ...

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 ...