×

The free implicative BCK-extension of a distributive nearlattice. (English) Zbl 0496.03046


MSC:

03G25 Other algebras related to logic
06E99 Boolean algebras (Boolean rings)
06A12 Semilattices
PDF BibTeX XML Cite