Prague Seminar on Semilinear Logics

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.  


Organization

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:

 


Programme

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