1 Conference found

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

University of Amsterdam, Netherlands

The program of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural and other non classical logics Substructural logics are formal reasoning syste...

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