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

Hexapla
Hexaplas
Hexateuch
Hey
Hey's amputation
Hey's hernia
Hey's ligament
Heyd's syndrome
Heyer
Heyer-Pudenz valve
Heyerdahl
Heyns
Heyns' abdominal decompression apparatus
Heyrovsky
Heyse
Heyting algebra (current term)
Heyting algebras
Heyward
Heywood Jablome
Hezbollah
Hezekiah
Hf
Hfla protease
Hg
HiFi
Hiawatha
Hib
Hibbertia
Hibbing
Hibernensis

Other Resources:

Search for Heyting algebra on Dictionary.com!Search for Heyting algebra on Thesaurus.com!Search for Heyting algebra on Google!Search for Heyting algebra on Wikipedia!

Search