Abstract
In this note we shall show that if L is a balanced pseudocomplemented Ockham algebra then the set \({\fancyscript{I}_{k}(L)}\) of kernel ideals of L is a Heyting lattice that is isomorphic to the lattice of congruences on B(L) where \({B(L) = \{x^* | x \in L\}}\). In particular, we show that \({\fancyscript{I}_{k}(L)}\) is boolean if and only if B(L) is finite, if and only if every kernel ideal of L is principal.
Similar content being viewed by others
References
Blyth T.S., Varlet J.C.: Ockham Algebras. Oxford University Press, Oxford (1994)
Blyth T.S.: Lattices and Ordered Algebraic Structures. Springer-Verlag, London (2005)
Fang J., Sun Z.-J.: Balanced pseudocomplemented Ockham algebras. Algebra Universalis 57, 291–302 (2007)
Fang J.: Distributive Lattices with Unary Operations. Science Press, Beijing (2011)
Xiu-Lan Z., Fang J.: Ideal lattices of balanced pseudocomplemented Ockham algebras (in Chinese). Journal of South China Normal University 2, 39–44 (2007)
Grätzer, G., Lattice Theory; First concepts and Distributive Lattices, Freeman, San Francisco, 1971.
Sankappanavar, H. P., A Characterization of Principal Congruences of de Morgan Algebras and its Applications, in Math. Logic in Latin America, North Holland, Amsterdam, 1980.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Fang, J., Wang, LB. & Yang, T. The Lattice of Kernel Ideals of a Balanced Pseudocomplemented Ockham Algebra. Stud Logica 102, 29–39 (2014). https://doi.org/10.1007/s11225-012-9448-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9448-1