Category:Systems of formal logic
These systems provide a syntax and semantics for the formal study of logic.
Subcategories
This category has the following 4 subcategories, out of 4 total.
P
- Paraconsistent logic (15 P)
S
Pages in category "Systems of formal logic"
The following 33 pages are in this category, out of 33 total. This list may not reflect recent changes.