What is another word for heyting algebra?
Pronunciation: [hˈe͡ɪtɪŋ ˈald͡ʒɪbɹə] (IPA) 
A Heyting algebra is a type of lattice that has additional properties, such as the existence of a top element and an implication operation. Synonyms for Heyting algebra include intuitionistic logic algebra, I-algebra or H-algebra. It is inspired by the intuitionistic logic of mathematician Arend Heyting, which is an alternative to classical logic. Heyting algebra finds application in computer science, mathematical modeling of quantum theory, and topology. It is used in theoretical computer science to analyze programming languages and formal verification of programs. Heyting algebra is also applied to the mathematical representation of propositions that are true, false, or unknown in the context of quantum mechanics.
