Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona RESEARCH GROUP IN NON-CLASSICAL LOGICS Imatge de diagramaci
UB Home Imatge de diagramaci
Imatge de diagramació
Imatge de diagramacio
Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci
Imatge de diagramaci
Index
About
Members
Collaborators
Funding
Publications
Manuscripts
The Seminar
Next session
Past sessions
Master
Doctorate
Links
 
 
Icona d'informacio To receive the
announcements
please write to

jmfontIcona de correuub.edu
 

Imatge de diagramaci Imatge de diagramaci  
 

 
THE SEMINAR ON NON-CLASSICAL LOGICS

 

Imatge de diagramaci
When ? Wednesday 15, February 2017, 10:00–11:30
Where ? Faculty of Mathematics (Plaça Universitat),
Room IMUB (2nd floor, terrace)
Who ? Antoni Torrens (Universitat de Barcelona)
What ? Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices
 

Abstract: In any variety of bounded integral residuated lattice-ordered commutative
monoids (bounded residuated lattices for short) the class of its semisimple members is
closed under isomorphic images, subalgebras and products, but it is not closed under
homomorphic images, and so it is not a variety. In this paper we study varieties of bounded
residuated lattices whose semisimple members form a variety, and we give an equational
presentation for them. We also study locally representable varieties whose semisimple
members form a variety. Finally, we analyze the relationship with the property “to have
radical term”, especially for k-radical varieties, and for the hierarchy of varieties (WLk)k>0
defined in Cignoli and Torrens (Studia Logica 100:1107–1136, 2012 [7]).

Imatge de diagramaci
 

 

 
Imatge de diagramaci
Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
  © Universitat de Barcelona Webmaster: Josep Maria Font
Latest update: 14/02/17