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