Substructural logics: proof theory and applications
Location: OMP 1, Sky Lounge (12th floor)
Mon, 26. Feb (Opening: 8:00) - Wed, 28. Feb 18
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.