Classical Propositional Logic
The logic of truth-functional combinations of propositions, forming a foundation for classical inference and the SAT problem.
Classical LogicsThe directory29 published entries
Welcome to LogicalZoo
Explore formal logics, their expressive power, and their relationships. A growing reference guide from syntax and semantics to decidability and complexity.