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

Heyting Algebra Pictures

Click the following link to bring up a new window with an automated collection of images related to the term: Heyting Algebra Images

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
Heyting algebras
Heyward
Heywood Jablome
Hezbollah
Hezekiah
Hf
Hfla protease
Hg
HiFi
Hiawatha
Hib
Hibbertia
Hibbing
Hibernensis

Other Resources Relating to: Heyting algebra

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