List for use by researchers and advanced students of Mathematics to share information and news about the field of Universal Algebra, including Lattice Theory. Subscription will require approval; prospective members should send an email inquiry to univalg-owner@yahoogroups.com with a brief description of their interest in the list.
You are cordially invited to the International Conference on Algebras and Lattices, or "JARDAFEST", held on the occasion of the 65th birthday of Jaroslav
When sitting in the subway yesterday, I wondered about commutators again and about unificators. My area of interest is the world of formulas, especially
Vaughan Pratt showed in his 1990 Action Logic paper that for the similarity type consisting of meet, composition (or relative product, or fusion) and its two
Dear Jens, (a) Remember that in a lattice <= is only a partial order, not total in general. Think of the example of a powerset, where <= is interpreted as the