This is a subject I struggled with the first time I took it. Ironically, this was the engineering version of it. It wasn't until I took the rigorous, axiomatic version that everything clicked.
This is a preview. Log in through your library . Abstract In this note we shall show that if L is a balanced pseudocomplemented Ockham algebra then the set ℐk(L) of kernel ideals of L is a Heyting ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback