Category:Systems of formal logic

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

ca:Categoria:Sistemes lògics ur:زمرہ:نظامات منطق تشکیلی zh:Category:形式逻辑系统