03Bxx General logic
- 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, See also {11U05, 12L05, 20F10}
- 03B30 Foundations and axiomatics of classical theories
- 03B35 Mechanization of proofs and logical operations, See also {68T15}
- 03B40 Combinatory logic and $lambda$-calculus
- 03B45 Modal and tense logic, {For provability logics, See also 03F40}
- 03B46 Relevance and entailment
- 03B48 Probability and inductive logic, See also {60A05}
- 03B50 Many-valued logic
- 03B52 Fuzzy logic, See also {94D05}
- 03B53 Paraconsistent logic
- 03B55 Intermediate logics
- 03B60 Other nonclassical logic
- 03B65 Logic of natural languages, See also {68S05, 92K20}
- 03B70 Logic of programming, See also {68Q55, 68Q60}
- 03B80 Other applications of logic
- 03B99 None of the above but in this section
--> Top level of Index
--> Top level of this Section