December 03-05, 2014 - University of Florence - Italy
Sponsored by:
European Community's Seventh Framework Programme [FP7/2007-2013]
Aims and Scope
This workshop intends to bring together international experts in diverse field of many-valued logic and their algebras with the aim of sharing perspectives and methodologies and advancing the mathematical foundations and applications.
Venue and reception desk
The workshop will be held in Viale Morgagni 59 - Department of Statistics, Infomatics and Applications (DISIA) - Room 32.
The registration desk will be in the first floor of DISIA, from 8:00 to 8:50 on Wednesday. For more information see the Booklet.
Participation
The attendance is open to the academic community and there is no participation fee. If you plan to participate please contact Leonardo Cabrer
Workshop Schedule
Wednesday, December 3rd
08:00-08:50 | Registration |
08.50-09.00 | Welcome |
09:00-09:35 | M. Gehrke, Ultrafilter equations |
09:35-10:10 | S. van Gool, Duality for sheaf representations of distributive lattices |
10:10-10:55 | Coffee break |
10:55-11:30 | I. Leuştean, Applications of the semisimple tensor product of MV-algebras |
11:30-12:05 | F. Marigo, Finite GBL-algebras and Heyting algebras with equivalence relations |
12:05-12:40 | M. Busaniche, Representation of BL-algebras with finite and independent spectrum |
12:40-14:20 | Lunch break: Centro Didattico, Viale Morgagni 40 |
14:20-14:55 | V. Marra, Γ |
14:55-15:30 | L. Reggio, Stone duality above dimension zero: infinitary algebras of real-valued functions on compact Hausdorff spaces |
15:30-16:15 | Coffee break |
16:15-16:50 | B. Gerla, Categorical equivalences of classes of MTL-algebras through cancellative hoops |
16:50-17:10 | P. Cintula, Presentation of the ERCIM working group on Many-Valued Logics (ManyVal) |
Thursday, December 4rd
09:00-09:35 | F. Montagna, Variants of Ulam game and game semantics for many-valued logics |
09:35-10:10 | T. Kroupa, Balanced McNaughton Functions |
10:10-10:55 | Coffee break |
10:55-11:30 | A. Palmigiano, Unified Correspondence as a Proof-Theoretic Tool |
11:30-12:05 | P. Oliva, Hoops and Intuitionistic Łukasiewicz Logic |
12:05-12:40 | A. Ciabattoni, A proof theoretic approach to standard completeness |
12:40-14:20 | Lunch break |
14:20-14:55 | F. Paoli, Projectable l-groups and algebras of logic |
14:55-15:30 | R. Horčík, Full Lambek Calculus with Contraction is Undecidable |
15:30-16:15 | Coffee break |
16:15-16:50 | P. Cintula, Combining logics using two-layer modal syntax |
16:50-17:10 | A. Kurz, On a category theoretic perspective of many-valued logic |
20:00-22:00 | Social Dinner: Ristorante Cafaggi, Via Guelfa 35 rosso |
Friday, December 5rd
Organisers
Ultimo aggiornamento
27.06.2022