The Lattice of Kernel Ideals of a Balanced Pseudocomplemented Ockham Algebra

Studia Logica 102 (1):29-39 (2014)
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
Keywords Congruence  Kernel ideal  Pseudocomplemented algebra  Ockham algebra   Heyting algebra
Categories (categorize this paper)
DOI 10.1007/s11225-012-9448-1
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 37,988
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

Add more citations

Similar books and articles


Added to PP index

Total views
8 ( #628,535 of 2,312,416 )

Recent downloads (6 months)
1 ( #469,789 of 2,312,416 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature