Prague Seminar on Substructural Logics

Result code in 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>

Result on the web

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

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Prague Seminar on Substructural Logics

Original language description

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.

Czech name

—

Czech description

—

Type

W - Workshop organization

CEP classification

IN - Informatics

OECD FORD branch

—

Project

<a href="/en/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Center of excellence - Institute for theoretical computer science (CE-ITI)</a><br>

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2014

Confidentiality

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

Event location

Prague

Event country

CZ - CZECH REPUBLIC

Event starting date

—

Event ending date

—

Total number of attendees

20

Foreign attendee count

7

Type of event by attendee nationality

WRD - Celosvětová akce