Related terms
- en pseudo complement ➜
- en relative pseudo complement ➜
- en residuated lattice ➜
- en binary operation ➜
- en bounded lattice ➜
- en heyting prealgebra ➜
- en logical calculus ➜
- en pseudo complement (n) ➜
- en relative pseudo complement (n) ➜
Word forms
- en heyting algebras (n) ➜
Links to other resources
- en.wiktionary.org Heyting algebra