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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/s11225-012-9448-1 | Studia Logica |
Keywords | Field | DocType |
Congruence,Kernel ideal,Pseudocomplemented algebra,Ockham algebra,Heyting algebra,06D15,06D30 | Kernel (linear algebra),Discrete mathematics,Combinatorics,Lattice (order),Ockham algebra,Heyting algebra,Isomorphism,Congruence (geometry),Congruence relation,Mathematics | Journal |
Volume | Issue | ISSN |
102 | 1 | 0039-3215 |
Citations | PageRank | References |
2 | 0.61 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jie Fang | 1 | 3 | 2.14 |
Lei-Bo Wang | 2 | 3 | 1.13 |
Ting Yang | 3 | 2 | 0.61 |