Decidability of weak equational theories

Previous | Up | Next

Article

Decidability of weak equational theories. (English). Czechoslovak Mathematical Journal, vol. 46 (1996), issue 4, pp. 629-664

MSC: 03B25, 03C05, 08A55, 08B05 | MR 1414600 | Zbl 0879.08005 | DOI: 10.21136/CMJ.1996.127325

References:

[1] G. Grätzer: Universal Algebra. van Nostrand Comp., 1968. MR 0248066

[2] L. Rudak: A completeness theorem for weak equational logic. Algebra Universalis 16 (1983), 331. DOI 10.1007/BF01191787 | MR 0695052 | Zbl 0519.08006

Partner of