Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4650247 | Discrete Mathematics | 2008 | 10 Pages |
Abstract
Abstracting from certain properties of the implication operation in Boolean algebras leads to so-called orthomodular implication algebras. These are in a natural one-to-one correspondence with families of orthomodular lattices. It is proved that congruence kernels of orthomodular implication algebras are in a natural one-to-one correspondence with families of compatible p-filters on the corresponding orthomodular lattices.
Related Topics
Physical Sciences and Engineering
Mathematics
Discrete Mathematics and Combinatorics
Authors
Ivan Chajda, Radomír Halaš, Helmut Länger,