| 03B05 |
- |
Classical propositional logic |
- |
50 |
items |
| 03B10 |
- |
Classical first-order logic |
- |
66 |
items |
| 03B15 |
- |
Higher-order logic and type theory |
- |
21 |
items |
| 03B20 |
- |
Subsystems of classical logic (including intuitionistic logic) |
- |
3 |
items |
| 03B22 |
- |
Abstract deductive systems |
- |
23 |
items |
| 03B25 |
- |
Decidability of theories and sets of sentences |
- |
1 |
item |
| 03B30 |
- |
Foundations of classical theories (including reverse mathematics) |
- |
3 |
items |
| 03B35 |
- |
Mechanization of proofs and logical operations |
- |
9 |
items |
| 03B40 |
- |
Combinatory logic and lambda-calculus |
- |
3 |
items |
| 03B42 |
- |
Logic of knowledge and belief |
- |
14 |
items |
| 03B44 |
- |
Temporal logic |
- |
7 |
items |
| 03B48 |
- |
Probability and inductive logic |
- |
2 |
items |
| 03B50 |
- |
Many-valued logic |
- |
6 |
items |
| 03B52 |
- |
Fuzzy logic; logic of vagueness |
- |
1 |
item |
| 03B53 |
- |
Logics admitting inconsistency (paraconsistent logics, discussive logics, etc.) |
- |
1 |
item |
| 03B60 |
- |
Other nonclassical logic |
- |
1 |
item |
| 03B65 |
- |
Logic of natural languages |
- |
2 |
items |
| 03B70 |
- |
Logic in computer science |
- |
13 |
items |
| 03B99 |
- |
Miscellaneous |
- |
14 |
items |
|
|
[
up
|
top
]
|
