History and biography [See also the classification number –03 in the other sections] 55594

## Mathematics Subject Classification – MSC2020

History of mathematical logic and foundations [Consider also classification numbers pertaining to Section 01-XX] 4130

Philosophical and critical aspects of logic and foundations {For philosophy of mathematics, see also 00A30} 11675

Modal logic (including the logic of norms) {For knowledge and belief, see 03B42; for temporal logic, see 03B44; for provability logic, see also 03F45} 7786

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

Theory of numerations, effectively presented structures [See also 03C57] {For intuitionistic and similar approaches, see 03F55} 1482