INVESTIGADORES
MARCOS Miguel Andres
congresos y reuniones científicas
Título:
Varieties of Kalman lattices
Autor/es:
MARCOS, MIGUEL ANDRÉS; AGLIANÒ, PAOLO
Lugar:
Denver
Reunión:
Seminario; Nonclassical Logic Webinar; 2020
Institución organizadora:
University of Denver
Resumen:
Title: Varieties of Kalman latticesAbstract: This is a joint work with Paolo Aglianò. The twist-product of a lattice L is the cartesian product of L with its order dual, equipped with the natural order involution ~(x,y) = (y,x). The idea of considering this kind of construction to deal with order involutions on lattices goes back to Kalman's 1958 paper, but the denomination "twist" appeared thirty years later. The extension of this concept to residuated lattices is due to Tsinakis and Wille, and applying their construction to integral residuated lattices, Busaniche and Cignoli defined Kalman lattices (or just K-lattices) as the variety of 1-involutive residuated lattices that can be represented by a twist-product.In this work we explore the lattice of subvarieties of K-lattices, specifically the bottom part, as well as the full lattice for some particular subvarieties.
