Substructural logics: semantics, proof theory, and applications is the second workshop within the project SYSMICS (Syntax meets Semantics - Methods, Interactions, and Connections in Substructural logics). It was held in Vienna at the Faculty of Mathematics, University of Vienna, from 26 -- 28 February 2018.
CITATION STYLE
Ciabattoni, A., Genco, F. A., & Ramanayake, R. (2018). Substructural logics. ACM SIGLOG News, 5(2), 58–60. https://doi.org/10.1145/3212019.3212027
Mendeley helps you to discover research relevant for your work.