Category:Systems of formal logic
Here is a list of articles in the category Systems of formal logic of the Philosophy portal.
|Wikimedia Commons has media related to Systems of formal logic.|
These systems provide a syntax and semantics for the formal study of logic.
This category has the following 4 subcategories, out of 4 total.
Pages in category "Systems of formal logic"
The following 30 pages are in this category, out of 30 total.
- Categorical logic (computing)
- Dependence logic (philosophy)
- Epsilon calculus (philosophy)
- Quantum logic (physics)
- Zeroth-order logic (computing)