Author:
Wannenburg J. J.,Raftery J. G.
Abstract
AbstractA representation theorem is proved for De Morgan monoids that are (i) semilinear, i.e., subdirect products of totally ordered algebras, and (ii) negatively generated, i.e., generated by lower bounds of the neutral element. Using this theorem, we prove that the De Morgan monoids satisfying (i) and (ii) form a variety—in fact, a locally finite variety. We then prove that epimorphisms are surjective in every variety of negatively generated semilinear De Morgan monoids. In the process, epimorphism-surjectivity is established for several other classes as well, including the variety of all semilinear idempotent commutative residuated lattices and all varieties of negatively generated semilinear Dunn monoids. The results settle natural questions about Beth-style definability for a range of substructural logics.
Publisher
Springer Science and Business Media LLC
Reference40 articles.
1. Agliano, P., Montagna, F.: Varieties of BL-algebras. I. General properties. J. Pure Appl. Algebra 181, 105–129 (2003)
2. Anderson, A.R., Belnap, N.D. (Jnr.): Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton University Press, Princeton (1975)
3. Bergman, C.: Universal Algebra. Fundamentals and Selected Topics. CRC Press, Taylor & Francis, Boca Raton (2012)
4. Bezhanishvili, G., Moraschini, T., Raftery, J.G.: Epimorphisms in varieties of residuated structures. J. Algebra 492, 185–211 (2017)
5. Blok, W.J., Hoogland, E.: The Beth property in algebraic logic. Studia Logica 83, 49–90 (2006)