Mathematical logic and foundations 134033
03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations 105
03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations 2064
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations 2855
03-03 History of mathematical logic and foundations [Consider also classification numbers from Section 01-XX] 4932
03-04 Software, source code, etc. for problems pertaining to mathematical logic and foundations 187
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations 2821
03-08 Computational methods for problems pertaining to mathematical logic and foundations 4
03-11 Research data for problems pertaining to mathematical logic and foundations 0
03Axx Philosophical aspects of logic and foundations 15009
03A05 Philosophical and critical aspects of logic and foundations {For philosophy of mathematics, see also 00A30} 14072
03A10 Logic in the philosophy of science 1166
03A99 None of the above, but in this section 30
03B05 Classical propositional logic 2060
03B10 Classical first-order logic 2086
03B20 Subsystems of classical logic (including intuitionistic logic) 2292
03B22 Abstract deductive systems 627
03B25 Decidability of theories and sets of sentences [See also 11U05, 12L05, 20F10] 4335
03B30 Foundations of classical theories (including reverse mathematics) [See also 03F35] 1524
03B35 Mechanization of proofs and logical operations [See also 68V15] 4424
03B40 Combinatory logic and lambda calculus [See also 68N18] 3809
03B42 Logics of knowledge and belief (including belief change) 3238
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} 9322
03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) {For proof-theoretic aspects, see 03F52} 1781
03B48 Probability and inductive logic [See also 60A05] 1581
03B52 Fuzzy logic; logic of vagueness [See also 68T27, 68T37, 94D05] 4182
03B53 Paraconsistent logics 1504
03B55 Intermediate logics 1016
03B60 Other nonclassical logic 3176
03B65 Logic of natural languages [See also 68T50, 91F20] 2463
03B70 Logic in computer science [See also 68-XX] 7430
03B80 Other applications of logic 643
03B99 None of the above, but in this section 1451
Fonte
03-XX Mathematical logic and foundations
03Axx Philosophical aspects of logic and foundations
03Bxx General logic
s1 – 1.2 Epistemologia, fundações e lógica matemática | Epistemology, Foundations and Mathematical Logic – A. LOGIC (MSC2020: 03-XX Mathematical logic and foundations 03Axx Philosophical aspects of logic and foundations 03Bxx General logic); p4; D; m1; f2; Up; red; A♣️