The Lattice of Kernel Ideals of a Balanced Pseudocomplemented Ockham Algebra

Studia Logica 102 (1):29-39 (2014)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,931

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2012-12-28

Downloads
41 (#399,401)

6 months
8 (#415,941)

Historical graph of downloads
How can I increase my downloads?