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

Query : CC = 06D20
03-XX Mathematical logic and foundations

• 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]

---

Keyword :

---

Back to the Mathematics Subject Classification (version 2000)