On the canonical lattice extension of a distributive nearlattice with a residuation operation

Quaestiones Mathematicae

Volumn 22, Issue 2, 1999, Pages 149-164

  Van Alten, C J ^a  

^a UNIVERSITY OF KWAZULU NATAL   (South Africa)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0009220769     PISSN: 16073606     EISSN: 1727933X     Source Type: Journal    
DOI: 10.1080/16073606.1999.9632069     Document Type: Article

References (13)

1. Blok, W.J. and Pigozzi, D., Algebraizable Logics, Memoirs of the American Mathematical Society, Number 396, Amer. Math. Soc., Providence, 1989.
2. Cornish, W.H., Sturm, T. and Traczyk, T., Embedding of commutative BCK-algebras into distributive lattice BCK-algebras, Math. Japónica 29 (1984), 309-320.
3. Fábera, J. and Sturm, T., Embedding of semilattices into distributive lattices, Czechoslovak Math. J. 29 (1979), 232-245.
4. Fleischer, I., Embedding a semilattice in a distributive lattice, Algebra Universalis 6 (1976), 85-86.
5. MacNeille, H.M., Partially ordered sets, Trans. Amer. Math. Soc. 42 (1937), 416-460.
6. Ono, H. and Komori, Y., Logics without the contraction rule, J. Symbolic Logic 50 (1985), 169-202.
7. Raftery, J. and Sturm, T., On an embedding of distributive nearlattice BCK-algebras into distributive lattice BCK-algebras, Math. Japónica 33 (1988), 281-299.
8. Raftery, J.G. and Van Alten, C.J., On the algebra of noncommutative residuation: polrims and left residuation algebras, Math. Japónica 46 (1997), 29-46.
9. Sturm, T., On commutative BCK-algebras embeddable into directed commutative BCK-algebras, Math. Japónica 27 (1982), 197-212.
10. Sturm, T., On irreducible elements of semilattices, Algebra Universalis 29 (1992), 16-32.
11. Van Alten, C.J. and Raftery, J.G., On quasivariety semantics of fragments of intuitionistic logic without exchange and contraction rules, Reports on Mathematical Logic, in print.
12. Van Alten, C.J. and Raftery, J.G., On the lattice of varieties of residuation algebras, Algebra Universalis, in print.
13. Wroñski, A., An algebraic motivation for BCK-algebras, Math. Japónica 30 (1985), 187-193.