Filters of implication reducts of basic algebras |
| |
Authors: | Ivan Chajda |
| |
Affiliation: | 1. Department of Algebra and Geometry, Faculty of Science, Palacky University, 17. listopadu 12, 771 46?, Olomouc, Czech Republic
|
| |
Abstract: | Since basic algebras were introduced as a common generalization of MV-algebras and orthomodular lattices, their implication reducts form a common generalization of BCK-algebras and orthoimplication algebras introduced by J. C. Abbott. As shown in our previous paper, congruences in these implication reducts are in a one-to-one correspondence with their kernels. Hence, to characterize congruences it is enough to describe its kernels which is done in the paper. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|