×

zbMATH — the first resource for mathematics

An introduction to the theory of BCK-algebras. (English) Zbl 0385.03051

MSC:
03G25 Other algebras related to logic
06F25 Ordered rings, algebras, modules
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
06-02 Research exposition (monographs, survey articles) pertaining to ordered structures
06A12 Semilattices
03G10 Logical aspects of lattices and related structures
06B10 Lattice ideals, congruence relations
08A30 Subalgebras, congruence relations
08A05 Structure theory of algebraic structures
06D99 Distributive lattices
06C15 Complemented lattices, orthocomplemented lattices and posets
PDF BibTeX XML Cite