|
|
Definition of Heyting algebra
1. Noun. A bounded lattice equipped with a binary operation ''a''?''b'' of implication such that (''a''?''b'')?''a'' ? ''b'', and moreover ''a''?''b'' is the greatest such in the sense that if ''c''?''a'' ? ''b'' then ''c'' ? ''a''?''b''. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Heyting Algebra
Other Resources:
