On middle distributivity for skew lattices

Semigroup Forum

Volumn 61, Issue 3, 2000, Pages 341-345

  Spinks, M ^a  

^a UNIVERSITY OF BALLARAT   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042761684     PISSN: 00371912     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00006032     Document Type: Article

References (8)

1. Leech, J., Skew lattices in rings, Algebra Universalis, 26 (1989), 48-72.
2. Leech, J., Normal skew lattices, Semigroup Forum, 44 (1992), 1-8.
3. Leech, J., Recent developments in the theory of skew lattices, Semigroup Forum, 52 (1996), 7-24.
4. McCune, W., "Otter 3.0 reference manual and guide", Tech. Report ANL-94/6, Argonne National Laboratory, Illinois, 1994, ftp://info.mcs.anl.gov/pub/Otter.
5. McCune, W. and R. Padmanabhan, "Automated Deduction in Equational Logic and Cubic Curves", Springer, Berlin, 1996.
6. Spinks, M., Automated deduction in non-commutative lattice theory, Tech. Report 3/98, Monash University, Churchill, 1998, http://www-gscit. fcit.monash.edu.au/research/mvl/papers/papers.html (accessed 10 Jan. 1999).
7. Zhang, J. and H. Zhang, SEM: A System for Enumerating Models, Proc. 14th Int. Joint Conf. on AI (IJCAI'95), Montréal, 1995, 298-303.
8. Zhang, J. and H. Zhang, "SEM user's guide", 1997, http://www.cs.uiowa.edu/~hzhang/sem.html (accessed 10 Jan. 1999).