| 03B05 |
- |
Classical propositional logic |
| 03B10 |
- |
Classical first-order logic |
| 03B15 |
- |
Higher-order logic and type theory |
| 03B20 |
- |
Subsystems of classical logic (including intuitionistic logic) |
| 03B22 |
- |
Abstract deductive systems |
| 03B25 |
- |
Decidability of theories and sets of sentences |
| 03B30 |
- |
Foundations of classical theories (including reverse mathematics) |
| 03B35 |
- |
Mechanization of proofs and logical operations |
| 03B40 |
- |
Combinatory logic and lambda-calculus |
| 03B42 |
- |
Logic of knowledge and belief |
| 03B44 |
- |
Temporal logic |
| 03B45 |
- |
Modal logic |
| 03B47 |
- |
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) |
| 03B48 |
- |
Probability and inductive logic |
| 03B50 |
- |
Many-valued logic |
| 03B52 |
- |
Fuzzy logic; logic of vagueness |
| 03B53 |
- |
Logics admitting inconsistency (paraconsistent logics, discussive logics, etc.) |
| 03B55 |
- |
Intermediate logics |
| 03B60 |
- |
Other nonclassical logic |
| 03B65 |
- |
Logic of natural languages |
| 03B70 |
- |
Logic in computer science |
| 03B80 |
- |
Other applications of logic |
| 03B99 |
- |
Miscellaneous |
|
[
up
|
top
]
|
