Heyting algebra (Q1617044)
Jump to navigation
Jump to search
bounded lattice that models intuitionistic propositional logic
Language | Label | Description | Also known as |
---|---|---|---|
English | Heyting algebra |
bounded lattice that models intuitionistic propositional logic |
Statements
Heyting Algebra
0 references
Identifiers
Heyting algebras
Sitelinks
Wikipedia(14 entries)
- cawiki Àlgebra de Heyting
- cswiki Heytingova algebra
- dewiki Heyting-Algebra
- enwiki Heyting algebra
- eswiki Álgebra de Heyting
- frwiki Algèbre de Heyting
- idwiki Aljabar Heyting
- itwiki Algebra di Heyting
- jawiki ハイティング代数
- kowiki 헤이팅 대수
- plwiki Algebra Heytinga
- ruwiki Алгебра Гейтинга
- ukwiki Алгебра Гейтінга
- zhwiki 海廷代数
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(0 entries)
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(1 entry)
- commonswiki Category:Heyting Algebra