Single identities for lattice theory and for weakly associative lattices

Algebra Universalis

Volumn 36, Issue 4, 1996, Pages 436-449

  McCune, W ^a   Padmanabhan, R ^b  

^a ARGONNE NATIONAL LABORATORY   (United States)

^b UNIVERSITY OF MANITOBA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030460686     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01233914     Document Type: Article

References (11)

1. FRIED, E. and GRÄTER, G., Some examples of weakly associative lattices. Colloq. Math., 27 (1973), 215-221.
2. GRÄTZER, G., Lattice Theory: First Concepts and Distributive Lattices. San Francisco, 1971.
3. GRÄTZER, G., Universal Algebra. Springer Verlag, 2nd edition, 1979.
4. HIGMAN, G. and NEUMANN, B. H., Groups as groupoids with one law. Publicationes Mathematicae Debrecen, 2 (1952), 215-227.
5. McCUNE, W., A Davis-Putnam program and its application to finite first-order model search: Quasigroup existence problems. Tech. Report ANL/MCS-TM-194, Argonne National Laboratory, Argonne, Ill., May 1994.
6. McCUNE, W., Otter 3.0 reference manual and guide. Tech. Report ANL-94/6, Argonne National Laboratory, Argonne, Ill., 1994.
7. McKENZIE, R. N., Equational bases for lattice theories. Math. Scand., 27 (1970), 24-38.
8. PADMANABHAN, R., Two identities for lattices. Proc. Amer. Math. Soc., 20 (1969), 409-412.
9. PADMANABHAN, R., Equational theory of algebras with a majority polynomial. Algebra Universalis, 7 (2) (1977), 273-275.
10. TARSKI, A., Equational logic and equational theories of algebras. In: K. Schütte (editor). Contributions to Mathematical Logic, pages 275-288. North-Holland, Amsterdam, 1968.
11. TAYLOR, W., Equational logic. Appendix 4 in G. Grätzer, Universal Algebra. Springer Verlag, 1979.