Wolfgang Pauli Institute (WPI) Vienna

Home Practical Information for Visitors Events People WPI Projects
Login Thematic Programs Pauli Fellows Talks Research Groups

Substructural logics: proof theory and applications

Location: OMP 1, Sky Lounge (12th floor) Mon, 26. Feb (Opening: 8:00) - Wed, 28. Feb 18
Organisation(s)
WPI TU
Organiser(s)
Prof. Agata Ciabattoni (TU)
Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style calculus.
The Workshop aims at connecting researchers that work on proof theory and applications of substructural and related logics.
The Workshop is part of a series of meetings planned within the SYSMICS RISE project during 2016-2019.

Impressum webmaster [Printable version]