:Category:Systems of formal logic

{{Commons}}

These systems provide a syntax and semantics for the formal study of logic.

Logic

*