Mathematics Subject Classification 1991

03Bxx General logic ( 0 Dok. )

• 03B05 Classical propositional logic ( 0 Dok. )
• 03B10 Classical first-order logic ( 0 Dok. )
• 03B15 Higher-order logic and type-theory ( 0 Dok. )
• 03B20 Subsystems of classical logic (including intuitionistic logic) ( 0 Dok. )
• 03B22 Abstract deductive systems ( 0 Dok. )
• 03B25 Decidability of theories and sets of sentences, See also {11U05, 12L05, 20F10} ( 0 Dok. )
• 03B30 Foundations and axiomatics of classical theories ( 0 Dok. )
• 03B35 Mechanization of proofs and logical operations, See also {68T15} ( 0 Dok. )
• 03B40 Combinatory logic and $lambda$-calculus ( 0 Dok. )
• 03B45 Modal and tense logic, {For provability logics, See also 03F40} ( 0 Dok. )
• 03B46 Relevance and entailment ( 0 Dok. )
• 03B48 Probability and inductive logic, See also {60A05} ( 0 Dok. )
• 03B50 Many-valued logic ( 0 Dok. )
• 03B52 Fuzzy logic, See also {94D05} ( 0 Dok. )
• 03B53 Paraconsistent logic ( 0 Dok. )
• 03B55 Intermediate logics ( 0 Dok. )
• 03B60 Other nonclassical logic ( 0 Dok. )
• 03B65 Logic of natural languages, See also {68S05, 92K20} ( 0 Dok. )
• 03B70 Logic of programming, See also {68Q55, 68Q60} ( 0 Dok. )
• 03B80 Other applications of logic ( 0 Dok. )
• 03B99 None of the above but in this section ( 0 Dok. )