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

Question : 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] [Nouveau code MSC 2000]
  • Codes MSC1991 affiliés : 03B46, 03F50
• 03F52 Linear logic and other substructural logics [See also 03B47] [Nouveau code MSC 2000]
  • Code MSC1991 affilié : 03F50

---

Mot-clé :

---

Retour à la page Classification Mathématique par Matières (version 2000)