Article contents
Maximal subalgebras of Heyting algebras
Published online by Cambridge University Press: 20 January 2009
Extract
AHeyting algebra is an algebra H;∨,∧ →, 0,1) of type (2,2,2,0,0) for which H;∨,∧,0,1) is a bounded distributive lattice and → is the binary operation of relative pseudocomplementation (i.e., for a,b,c∈H,ac ∧≦birr c≦a→b). Associated with every subalgebra of a Heyting algebra is a separating set. Those corresponding to maximal subalgebras are characterized in Proposition 8 and, subsequently, are used in an investigation of Heyting algebras.
- Type
- Research Article
- Information
- Proceedings of the Edinburgh Mathematical Society , Volume 29 , Issue 3 , October 1986 , pp. 359 - 365
- Copyright
- Copyright © Edinburgh Mathematical Society 1986
References
REFERENCES
- 4
- Cited by