Mathematical Sciences Classification System

03Bxx - General logic

  • 11
    03B05
    Classical propositional logic
  • 16
    03B10
    Classical first-order logic
  • 10
    03B15
    Higher-order logic and type theory
  • 10
    03B20
    Subsystems of classical logic (including intuitionistic logic)
  • 1
    03B22
    Abstract deductive systems
  • 7
    03B25
    Decidability of theories and sets of sentences [See also 11U05, 12L05, 20F10]
  • 14
    03B30
    Foundations of classical theories (including reverse mathematics) [See also 03F35]
  • 9
    03B35
    Mechanization of proofs and logical operations [See also 68T15]
  • 8
    03B40
    Combinatory logic and lambda-calculus [See also 68N18]
  • 7
    03B42
    Logics of knowledge and belief (including belief change)
  • 3
    03B44
    Temporal logic
  • 23
    03B45
    Modal logic (including the logic of norms) {For knowledge and belief, see 03B42; for temporal logic, see 03B44; for provability logic, see also 03F45}
  • 8
    03B47
    Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) {For proof-theoretic aspects see 03F52}
  • 7
    03B48
    Probability and inductive logic [See also 60A05]
  • 12
    03B50
    Many-valued logic
  • 12
    03B52
    Fuzzy logic; logic of vagueness [See also 68T27, 68T37, 94D05]
  • 7
    03B53
    Paraconsistent logics
  • 2
    03B55
    Intermediate logics
  • 6
    03B60
    Other nonclassical logic
  • 03B62
    Combined logics
  • 8
    03B65
    Logic of natural languages [See also 68T50, 91F20]
  • 15
    03B70
    Logic in computer science [See also 68-XX]
  • 03B80
    Other applications of logic
  • 03B99
    None of the above, but in this section

Rewrite code from the image

Reload image

Reload image