Activities / Library

Mathematical Sciences Classification System

03Bxx - General logic

• 11
  03B05
  Classical propositional logic
• 17
  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
• 8
  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]
• 10
  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]
• 16
  03B70
  Logic in computer science [See also 68-XX]
• 03B80
  Other applications of logic
• 03B99
  None of the above, but in this section