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.  


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



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



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