Logic MOC 0th-order logic 0th-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 0th-order logic in these notes An alternative is (non dependent) Type theory. develop | en | SemBr