1 Conference found

Syntax Meets Semantics 2019
21st January 2019   -   24th January 2019

Doelenzaal University Library, Netherlands

Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen style sequent calculus Traditionally substructural logics have been investiga...

http://events.illc.uva.nl/SYSMICS2019/

Your Conference Book