Propositional logic is also called propositional calculus, sentential logic, statement logic and sentence logic. It is a formalism that is useful for analyzing certain arguments (deductions) that ...

How can one demonstrate that an argument or inference is not valid? The course begins with a simple system called sentential or propositional logic, which despite its simplicity captures a significant ...

Outline of topics Ever since modern symbolic logic was consolidated (in the mid 1900s), the standard format for an introductory logic class has been to learn the classical predicate calculus in three ...

Schemata have played important roles in logic since Aristotle's Prior Analytics. The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional ...

We investigate uniform interpolants in propositional modal logics from the proof-theoretical point of view. Our approach is adopted from Pitts' proof of uniform interpolation in intuitionistic ...