Książki i e-książki

Mathematical Sciences Classification System

03Axx 03-XX 03Cxx

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