The theory of commuting subalgebras of complete Heyting algebras (Q1273837)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The theory of commuting subalgebras of complete Heyting algebras |
scientific article |
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
