Congruences, ideals and annihilators in standard QBCC-algebras
We characterize congruence lattices of standard QBCC-algebras and their connection with the congruence lattices of congruence kernels.
On systems of congruences on principal filters of orthomodular implication algebras
Orthomodular implication algebras (with or without compatibility condition) are a natural generalization of Abbott’s implication algebras, an implication reduct of the classical propositional logic. In the paper deductive systems (= congruence kernels) of such algebras are described by means of their restrictions to principal filters having the structure of orthomodular lattices.
Page 1