La Classification Mathématique par matières 2000
Mathematics subject Classification 2000

Query : CC = 03F52
03-XX Mathematical logic and foundations

• 03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) [For proof-theoretic aspects see 03F52] [New MSC 2000 code]
  • MSC 1991 codes in relation : 03B46, 03F50
• 03F52 Linear logic and other substructural logics [See also 03B47] [New MSC 2000 code]
  • MSC 1991 code in relation : 03F50

---

Keyword :

---

Back to the Mathematics Subject Classification (version 2000)