International Workshop on Algebraic Logic in Computer Science

Kód výsledku v IS VaVaI

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

Výsledek na webu

<a href="http://www.cs.cas.cz/cintula/lpar-workshop-ALCS.html" target="_blank" >http://www.cs.cas.cz/cintula/lpar-workshop-ALCS.html</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

International Workshop on Algebraic Logic in Computer Science

Popis výsledku v původním jazyce

Algebraic logic, as the branch of mathematical logic that studies logical systems by giving them a semantics based on some algebraic structures, has been proposed as a unifying approach to deal with the populated landscape of non-classical logics and hasdeveloped a variety of techniques which have been fruitfully applied to many families of logics. In particular, algebraic logic has consolidated as a useful approach to many non-classical logics that are introduced as (or have become) systems of reasoning able to cope with a variety of problems arising in computer science and its applications.

Název v anglickém jazyce

International Workshop on Algebraic Logic in Computer Science

Popis výsledku anglicky

Algebraic logic, as the branch of mathematical logic that studies logical systems by giving them a semantics based on some algebraic structures, has been proposed as a unifying approach to deal with the populated landscape of non-classical logics and hasdeveloped a variety of techniques which have been fruitfully applied to many families of logics. In particular, algebraic logic has consolidated as a useful approach to many non-classical logics that are introduced as (or have become) systems of reasoning able to cope with a variety of problems arising in computer science and its applications.

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

Stellenbosch

Stát konání akce

ZA - Jihoafrická republika

Datum zahájení akce

—

Datum ukončení akce

—

Celkový počet účastníků

11

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

9

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

WRD - Celosvětová akce