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