Prague Seminar on Substructural Logics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F14%3A00427516" target="_blank" >RIV/67985807:_____/14:00427516 - isvavai.cz</a>

Výsledek na webu

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

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Prague Seminar on Substructural Logics

Popis výsledku v původním jazyce

Substructural logics are non-classical logics weaker than classical logic, notable for the absence of structural rules present in classical logic. These logics are motivated by considerations from philosophy (relevant logics), linguistics (the Lambek calculus) and computing (linear logic). In addition, techniques from substructural logics are useful in the study of traditional logics such as classical and intuitionistic logic. The two-day seminar featured several of the world's most prominent experts inthe area who gave long detailed presentations explaining their recent advances in the area.

Název v anglickém jazyce

Prague Seminar on Substructural Logics

Popis výsledku anglicky

Substructural logics are non-classical logics weaker than classical logic, notable for the absence of structural rules present in classical logic. These logics are motivated by considerations from philosophy (relevant logics), linguistics (the Lambek calculus) and computing (linear logic). In addition, techniques from substructural logics are useful in the study of traditional logics such as classical and intuitionistic logic. The two-day seminar featured several of the world's most prominent experts inthe area who gave long detailed presentations explaining their recent advances in the area.

Druh

W - Uspořádání workshopu

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Centrum excelence - Institut teoretické informatiky (CE-ITI)</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2014

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ů

20

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

7

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

WRD - Celosvětová akce