| LC control no. | sh2010014322 |
|---|---|
| Topical heading | Heyting algebras |
| See also | Algebraic logic |
| Found in | Work cat.: Johnson, S.B. A Heyting algebra bestiary, 1979: abstract (The concept of a Heyting algebra is a generalization of the concept of a Boolean algebra; closely connected to the study of Heyting algebras is the study of those particularly well-behaved categories called topoi) Wikipedia, Oct. 25, 2010 (In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting; Heyting algebras arise as models of intuitionistic logic; lattice-theoretic; a complete Heyting algebra is a Heyting algebra which is complete as a lattice) Wolfram Mathworld, viewed Feb. 24, 2011 (Heyting algebra: an algebra which is a special case of a logos; Logos: a generalization of a Heyting algebra which replaces Boolean algebra in "intuitionistic" logic) Britannica online, viewed Feb. 24, 2011 Alternative logics (one of the most important nonclassical logics is intuitionistic logic, first formalized by Arend Heyting in 1930) |
 |  |  |