The structure of finite commutative idempotent involutive residuated lattices

Jipsen, Peter; Tuyt, Olim; Valota, Diego (2021). The structure of finite commutative idempotent involutive residuated lattices. Algebra universalis, 82(4) Springer Nature 10.1007/s00012-021-00751-4

[img] Text
Jipsen2021_Article_TheStructureOfFiniteCommutativ.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.
Author holds Copyright

Download (514kB)
[img]
Preview
Text
2007.14483.pdf - Accepted Version
Available under License Publisher holds Copyright.

Download (277kB) | Preview

We characterize commutative idempotent involutive residuated lattices as disjoint unions of Boolean algebras arranged over a distributive lattice. We use this description to introduce a new construction, called gluing, that allows us to build new members of this variety from other ones. In particular, all finite members can be constructed in this way from Boolean algebras. Finally, we apply our construction to prove that the fusion reduct of any finite member is a distributive semilattice, and to show that this variety is not locally finite.

Item Type:

Journal Article (Original Article)

Division/Institute:

08 Faculty of Science > Department of Mathematics and Statistics > Institute of Mathematics

UniBE Contributor:

Tuyt, Olim Frits

Subjects:

500 Science > 510 Mathematics

ISSN:

0002-5240

Publisher:

Springer Nature

Language:

English

Submitter:

George Metcalfe

Date Deposited:

18 May 2022 14:13

Last Modified:

05 Dec 2022 16:19

Publisher DOI:

10.1007/s00012-021-00751-4

BORIS DOI:

10.48350/169832

URI:

https://boris.unibe.ch/id/eprint/169832

Actions (login required)

Edit item Edit item
Provide Feedback