Full entry |
PDF
(0.2 MB)
Feedback

nearlattice; equational base

References:

[1] Chajda, I., Halaš, R.: **An example of a congruence distributive variety having no near-unanimity term**. Acta Univ. M. Belii Ser. Math. 13 (2006), 29-31. MR 2353310

[2] Chajda, I., Halaš, R., Kühr, J.: **Semilattice structures**. Research and Exposition in Mathematics 30, Heldermann Verlag, Lemgo (2007). MR 2326262

[3] Chajda, I., Kolařík, M.: **Nearlattices**. Discrete Math. 308 (2008), 4906-4913. DOI 10.1016/j.disc.2007.09.009 | MR 2446101

[4] Hickman, R.: **Join algebras**. Commun. Algebra 8 (1980), 1653-1685. DOI 10.1080/00927878008822537 | MR 0585925 | Zbl 0436.06003

[5] McCune, W.: **Prover9 and Mace4, version 2009-11A**. \hfil ( http://www.cs.unm.edu/mccune/prover9/)