The theory of commuting subalgebras of complete Heyting algebras (Q1273837)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The theory of commuting subalgebras of complete Heyting algebras |
scientific article; zbMATH DE number 1236403
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The theory of commuting subalgebras of complete Heyting algebras |
scientific article; zbMATH DE number 1236403 |
Statements
The theory of commuting subalgebras of complete Heyting algebras (English)
0 references
18 May 1999
0 references
The authors give a detailed analysis of the lattice of commuting subalgebras of a Heyting algebra and develop a proof theory for these lattices. The main result is a completeness theorem for inequalities and, more generally, Horn sentences valid in all the lattices.
0 references
Heyting algebra
0 references
Boolean algebra
0 references
commuting subalgebras
0 references
deduction rule
0 references
Horn sentence
0 references
0 references
0.89960146
0 references
0.89395493
0 references
0.8923488
0 references
0.89187676
0 references
0.8876855
0 references
