UniCa UniCa News Notizie Constantine Tsinakis - Vanderbilt University, Nashville, TN

Constantine Tsinakis - Vanderbilt University, Nashville, TN

Amalgamation and interpolation in ordered algebras
17 febbraio 2010
Dipartimento di Scienze Pedagogiche e Filosofiche
Università degli studi di di Cagliari
                                                           
 
 
Il Prof. Constantine Tsinakis (Vanderbilt University, Nashville, TN) terrà due seminari secondo il seguente calendario:
 
  • Mercoledì 17 febbraio, ore 16, aula 1C, Viale S. Vincenzo 57
Amalgamation and interpolation in ordered algebras
 
  • Giovedì 18 febbraio, ore 11, studio 36 (secondo piano Facoltà di Scienze della Formazione)
Amalgamation and interpolation in ordered algebras
 
 
The relationship of the amalgamation property and logical interpolation properties is the object of many studies. I will start by presenting a short tutorial of the general theory in the setting of universal algebra, and then indicate how the general results apply to propositional substructural logics and residuated lattices. Further, we provide general techniques for establishing the amalgamation property for varieties of residuated lattices that are generated by their totally ordered members. Several applications illustrate the general theorems.
 
Gli incontri sono aperti a tutti gli interessati.
 
Francesco Paoli
Associate Professor of Logic
Dept. of Education, University of Cagliari
Via Is Mirrionis 1, 09123 Cagliari, Italy
Tel. No. 070.6757330

Ultime notizie

Questionario e social

Condividi su:
Impostazioni cookie