2nd Prague Symposium on Semilinear Logics

0422868 - ÚI 2014 RIV eng U - Uspořádání akce
Cintula, Petr - Noguera, Carles
2nd Prague Symposium on Semilinear Logics.
[Prague, 20.11.2013, (W-EUR 15/5)]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * semilinear logic
Kód oboru RIV: BA - Obecná matematika
http://www2.cs.cas.cz/~cintula/PSSL

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 second installment of Prague Symposium on Semilinear Logics was be devoted to the contents of this forthcoming third volume of the Handbook of Mathematical Fuzzy Logic. The authors presented the main notions and results of the chapters they are preparing. This have fostered discussion with other authors, the editors, and interested researchers and students of MFL that attended the symposium.
Trvalý link: http://hdl.handle.net/11104/0230249