Category:Systems of formal logic
![]() | Philosophy portal |
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.
Subcategories
This category has the following 4 subcategories, out of 4 total.
P
S
Pages in category "Systems of formal logic"
The following 30 pages are in this category, out of 30 total.
A
- Attributional calculus (computing)
- Aṣṭādhyāyī (philosophy)
C
- Categorical logic (computing)
D
- Dependence logic (philosophy)
E
- Epsilon calculus (philosophy)
F
- First-order logic (computing)
- Frege's propositional calculus (computing)
H
- Higher-order logic (philosophy)
- Horn logic (philosophy)
I
- Implicational propositional calculus (computing)
- Independence-friendly logic (philosophy)
- Infinitary logic (philosophy)
- Intermediate logic (computing)
- Intuitionistic logic (computing)
L
- List of Hilbert systems (computing)
- Logics for computability (philosophy)
M
- Many-sorted logic (philosophy)
- Minimal logic (computing)
O
- Ω-logic (computing)
- Ordinal logic (computing)
P
- Paraconsistent logic (philosophy)
- Predicate calculus (philosophy)
- Propositional calculus (computing)
- Propositional proof system (computing)
Q
- Quantum logic (physics)
S
- Second-order logic (philosophy)
- Systems of Logic Based on Ordinals (computing)
T
- Two-variable logic (computing)
- Type theory (computing)
Z
- Zeroth-order logic (computing)