Logic MOC

th-order logic

th-order logic, often called propositional logic, refers to the part of logic dealing with propositions and connections between them (and no bound variables). A propositional calculus is a Formal system for manipulating 0th-order logic.

• Conventions of th-order logic in these notes

An alternative is (non dependent) Type theory.

#state/develop | #lang/en | #SemBr