[1] S. Burris H. P. Sankappanavar:
A Course in Universal Algebra. Springer-Verlag, Berlin, 1977.
MR 0648287
[3] C. C. Chang:
A new proof of the completeness of the Lukasiewicz axioms. Trans. Amer. Math. Soc. 93 (1959), 74-80.
MR 0122718 |
Zbl 0093.01104
[5] T. Kovář: A general theory of dually residuated lattice ordered monoids. Thesis, Palacký Univ. Olomouc, 1996.
[7] J. Rachůnek:
Spectra of autometrized lattice algebras. Math. Bohem. 123 (1998), 87-94.
MR 1618727
[9] J. Rachůnek:
MV-algebras are categorically equivalent to a class of $DRl_{1(i)}$-semigroups. Math. Bohem. 123 (1998), 437-441.
MR 1667115
[10] J. Rachůnek: Polars and annihilators in representable DRl-monoids and MV-algebras. (submitted).