epub @ SUB HH

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 ( 0 Dok. )
• 03B30 Foundations of classical theories (including reverse mathematics) ( 0 Dok. )
• 03B35 Mechanization of proofs and logical operations ( 0 Dok. )
• 03B40 Combinatory logic and lambda-calculus ( 0 Dok. )
• 03B42 Logic of knowledge and belief ( 0 Dok. )
• 03B44 Temporal logic ( 0 Dok. )
• 03B45 Modal logic ( 0 Dok. )
• 03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) ( 0 Dok. )
• 03B48 Probability and inductive logic ( 0 Dok. )
• 03B50 Many-valued logic ( 0 Dok. )
• 03B52 Fuzzy logic; logic of vagueness ( 0 Dok. )
• 03B53 Logics admitting inconsistency (paraconsistent logics, discussive logics, etc.) ( 0 Dok. )
• 03B55 Intermediate logics ( 0 Dok. )
• 03B60 Other nonclassical logic ( 0 Dok. )
• 03B65 Logic of natural languages ( 0 Dok. )
• 03B70 Logic in computer science ( 0 Dok. )
• 03B80 Other applications of logic ( 0 Dok. )
• 03B99 None of the above, but in this section ( 0 Dok. )