Scope

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 systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, non-classical logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge, thus establishing new links with modal logic and other branches of logic. The scope of the conference includes but is not limited to algebraic, proof theoretic and relational approaches towards the study of non-classical logics.

This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

 

Credits

The SYSMICS project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 689176. 

The SYSMICS conference has also received support from the Institute for Logic, Language and Computation of the University of Amsterdam.

The SYSMICS 2019 conference is sponsored by the Association for Symbolic Logic as well as the Evert Willem Beth Foundation.