Browse Classification

Select a 2 digit classification

Search Classifications

Enter a keyword, phrase or a 2-, 3-, or 5-digit classification
< 03Axx | 03-XX | 03Cxx >
03-XX Mathematical logic and foundations
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 of classical theories (including reverse mathematics) [See also 03F35]
03B35   Mechanization of proofs and logical operations [See also 68T15]
03B40   Combinatory logic and lambda-calculus [See also 68N18]
03B42   Logics of knowledge and belief (including belief change)
03B44   Temporal logic
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}
03B47   Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) {For proof-theoretic aspects see 03F52}
03B48   Probability and inductive logic [See also 60A05]
03B50   Many-valued logic
03B52   Fuzzy logic; logic of vagueness [See also 68T27, 68T37, 94D05]
03B53   Paraconsistent logics
03B55   Intermediate logics
03B60   Other nonclassical logic
03B62   Combined logics
03B65   Logic of natural languages [See also 68T50, 91F20]
03B70   Logic in computer science [See also 68-XX]
03B80   Other applications of logic
03B99   None of the above, but in this section
< 03Axx | 03-XX | 03Cxx >
American Mathematical Society