Examples
- Every Boolean algebra is a Heyting algebra, with given by .
- Every totally ordered set that is a bounded lattice is also a Heyting algebra, where is equal to when, and 1 otherwise.
- The simplest Heyting algebra that is not already a Boolean algebra is the totally ordered set {0, ½, 1} with defined as above, yielding the operations:
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Notice that ½∨¬½ = ½∨(½ → 0) = ½∨0 = ½ falsifies the law of excluded middle.
- Every topology provides a complete Heyting algebra in the form of its open set lattice. In this case, the element is the interior of the union of and, where denotes the complement of the open set . Not all complete Heyting algebras are of this form. These issues are studied in pointless topology, where complete Heyting algebras are also called frames or locales.
- The Lindenbaum algebra of propositional intuitionistic logic is a Heyting algebra.
- The global elements of the subobject classifier of an elementary topos form a Heyting algebra; it is the Heyting algebra of truth values of the intuitionistic higher-order logic induced by the topos.
Read more about this topic: Heyting Algebra
Famous quotes containing the word examples:
“In the examples that I here bring in of what I have [read], heard, done or said, I have refrained from daring to alter even the smallest and most indifferent circumstances. My conscience falsifies not an iota; for my knowledge I cannot answer.”
—Michel de Montaigne (1533–1592)
“It is hardly to be believed how spiritual reflections when mixed with a little physics can hold people’s attention and give them a livelier idea of God than do the often ill-applied examples of his wrath.”
—G.C. (Georg Christoph)
“There are many examples of women that have excelled in learning, and even in war, but this is no reason we should bring ‘em all up to Latin and Greek or else military discipline, instead of needle-work and housewifry.”
—Bernard Mandeville (1670–1733)