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

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

• 03F45 Provability logics and related algebras (e.g., diagonalizable algebras) [See also 03B45, 03G25, 06E25] [New MSC 2000 code]
  • MSC 1991 codes in relation : 03B45, 03F40
• 03G25 Other algebras related to logic [See also 03F45, 06D20, 06E25, 06F35]

06-XX Order, lattices, ordered algebraic structures [See also 18B35]

• 06D20 Heyting algebras [See also 03G25]
• 06E25 Boolean algebras with additional operations (diagonalizable algebras, etc.) [See also 03G25, 03F45]
• 06F35 BCK-algebras, BCI-algebras [See also 03G25]

---

Keyword :

---

Back to the Mathematics Subject Classification (version 2000)