Prague
in November 20th, 2013
Semilinear logics form a distinctive class of many-valued logics. Their defining
feature is completeness with respect to a semantics based on linearly ordered
algebras, which makes them specially suited for the formalization of reasoning
with gradual properties. Mathematical Fuzzy Logic (MFL) is the discipline that
studies semilinear logics.
The
first two volumes of the Handbook
of Mathematical Fuzzy Logic were published in 2011 as vol. 37 and 38 of
Studies in Logic, Mathematical Logic and Foundations, College Publications.
They covered some of the most developed aspects of semilinear logics. A third
volume is currently in preparation and it is planned to appear in 2014. Experts
on several topics of MFL that were not included in the previous volumes have
been asked to prepare corresponding chapters. The second installment of Prague
Symposium on Semilinear Logics will be devoted to the contents of this
forthcoming book. The authors will present the main notions and results of the
chapters they are preparing. This will foster discussion with other authors,
the editors, and interested researchers and students of MFL that will attend
the symposium.
Venue: the event took place in the Institute of Computer Science of
the Academy of Science of the Czech Republic, in the seminar room 318 on the
second floor.
Organized by:
|
10.00 – 10.10 |
Opening |
|
10.10 – 11.00 |
Thomas Vetterlein Algebraic semantics: structure of chains |
|
11.00 – 11.20 |
Coffee break |
|
11.20 – 12.10 |
Ferdinando Cicalese, Chris Fermüller, and Franco Montagna Game-based interpretations |
|
12.10 – 14.00 |
Lunch |
|
14.00 – 14.50 |
Vilém Novák Fuzzy logics with evaluated syntax |
|
14.50 – 15.00 |
Coffee break |
|
15.00 – 15.50 |
Fernando Bobillo, Marco Cerami, Francesc Esteva, Àngel García-Cerdaña,
Rafael Peñaloza, Umberto Straccia
Fuzzy description
logics |
|
15.50 – 16.00 |
Coffee break |
|
16.00 – 16.50 |
Tommaso Flaminio, Tomáš
Kroupa States of
MV-algebras |
|
16.50 – 17.00 |
Coffee break |
|
17.00 – 18.00 |
Editors and authors discussion |
|
19.00 |
Dinner |