2nd Prague Symposium on Semilinear Logics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F13%3A00422868" target="_blank" >RIV/67985807:_____/13:00422868 - isvavai.cz</a>

Výsledek na webu

<a href="http://www2.cs.cas.cz/cintula/PSSL" target="_blank" >http://www2.cs.cas.cz/cintula/PSSL</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

2nd Prague Symposium on Semilinear Logics

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

2nd Prague Symposium on Semilinear Logics

Popis výsledku anglicky

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.

Druh

W - Uspořádání workshopu

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP202%2F10%2F1826" target="_blank" >GAP202/10/1826: Matematická fuzzy logika v informatice</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2013

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Místo konání akce

Prague

Stát konání akce

CZ - Česká republika

Datum zahájení akce

—

Datum ukončení akce

—

Celkový počet účastníků

15

Počet zahraničních účastníků

5

Typ akce podle státní přísl. účastníků

EUR - Evropská akce