Search and Browse the MSC 2000

03-XX Mathematical logic and foundations → ZMATH

03Bxx General logic → ZMATH

03B05 Classical propositional logic → ZMATH

03B10 Classical first-order logic → ZMATH

03B15 Higher-order logic and type theory → ZMATH

03B20 Subsystems of classical logic (including intuitionistic logic) → ZMATH

03B22 Abstract deductive systems → ZMATH

03B25 Decidability of theories and sets of sentences [See also 11U05, 12L05, 20F10] → ZMATH

03B30 Foundations of classical theories (including reverse mathematics) [See also 03F35] → ZMATH

03B35 Mechanization of proofs and logical operations [See also 68T15] → ZMATH

03B40 Combinatory logic and lambda-calculus [See also 68N18] → ZMATH

03B42 Logic of knowledge and belief → ZMATH

03B44 Temporal logic → ZMATH

03B45 Modal logic {For knowledge and belief see 03B42; for temporal logic see 03B44; for provability logic see also 03F45} → ZMATH

03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) {For proof-theoretic aspects see 03F52} → ZMATH

03B48 Probability and inductive logic [See also 60A05] → ZMATH

03B50 Many-valued logic → ZMATH

03B52 Fuzzy logic; logic of vagueness [See also 68T27, 68T37, 94D05] → ZMATH

03B53 Logics admitting inconsistency (paraconsistent logics, discussive logics, etc.) → ZMATH

03B55 Intermediate logics → ZMATH

03B60 Other nonclassical logic → ZMATH

03B65 Logic of natural languages [See also 68T50, 91F20] → ZMATH

03B70 Logic in computer science [See also 68-XX] → ZMATH

03B80 Other applications of logic → ZMATH

03B99 None of the above, but in this section → ZMATH