Category:Heyting Algebra

**Heyting algebra**
	bounded lattice that models intuitionistic propositional logic
	Upload media
	Wikipedia
Instance of	mathematical concept;
Subclass of	bounded lattice; residuated lattice; distributive lattice; cartesian closed category; finitely complete category; finitely cocomplete category;
Named after	Arend Heyting;
Authority file
	Q1617044; Library of Congress authority ID: sh2010014322; BNCF Thesaurus ID: 67959; BabelNet ID: 02443810n; J9U ID: 987007572533605171
	Reasonator; Scholia; Wikidocumentaries; PetScan; statistics; WikiMap; Locator tool; KML file; Search depicted;

Media in category "Heyting Algebra"

The following 4 files are in this category, out of 4 total.