SYSMICSSYSMICS

SYSMICSSYSMICS

 : 

Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logicsSyntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics

A Project coordinated by IIIA.

Principal investigator:

Lluís GodoLluís Godo

Team members:

Collaborating organisations:

UNIVERSITA DEGLI STUDI DI SALERNO Luca Spada UNIVERSITA DEGLI STUDI DI CAGLIARI Antonio Ledda UNIVERSITA DEGLI STUDI DI MILANO Stefano Aguzzoli UNIVERZITA PALACKEHO V OLOMOUCI Jan Kühr USTAV INFORMATIKY AV CR VVI Petr Cintula USTAV TEORIE INFORMACE A AUTOMATIZACE AV CR, v.v.i. Carles Noguera TECHNISCHE UNIVERSITAET WIEN Agata Ciabattoni AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGACIONES CIENTIFICAS Lluis Godo UNIVERSITAT DE BARCELONA Ramon Jansana UNIVERSITEIT VAN AMSTERDAM Nick Bezhanishvili UNIVERSITA DEGLI STUDI DELL’INSUBRIA Brunella Gerla UNIVERSITAT AUTONOMA DE BARCELONA Pilar Dellunde UNIVERSITAET BERN George Metcalfe UNIVERSITY OF THE WITWATERSRAND JOHANNESBURG Clint van Alten CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS Patricio Diaz Varela NEW MEXICO STATE UNIVERSITY Guram Bezhanishvili VANDERBILT UNIVERSITY Constantine Tsinakis UNIVERSITY OF DENVER COLORADO Nick Galatos KYOTO UNIVERSITY Kazushige Terui LA TROBE UNIVERSITY Tomasz Kowalski THE AUSTRALIAN NATIONAL UNIVERSITY Rajeev Gore NANYANG TECHNOLOGICAL UNIVERSITY Alwen Fernanto UNIVERSIDADE ESTADUAL DE CAMPINAS Walter CarnielliUNIVERSITA DEGLI STUDI DI SALERNO Luca Spada UNIVERSITA DEGLI STUDI DI CAGLIARI Antonio Ledda UNIVERSITA DEGLI STUDI DI MILANO Stefano Aguzzoli UNIVERZITA PALACKEHO V OLOMOUCI Jan Kühr USTAV INFORMATIKY AV CR VVI Petr Cintula USTAV TEORIE INFORMACE A AUTOMATIZACE AV CR, v.v.i. Carles Noguera TECHNISCHE UNIVERSITAET WIEN Agata Ciabattoni AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGACIONES CIENTIFICAS Lluis Godo UNIVERSITAT DE BARCELONA Ramon Jansana UNIVERSITEIT VAN AMSTERDAM Nick Bezhanishvili UNIVERSITA DEGLI STUDI DELL’INSUBRIA Brunella Gerla UNIVERSITAT AUTONOMA DE BARCELONA Pilar Dellunde UNIVERSITAET BERN George Metcalfe UNIVERSITY OF THE WITWATERSRAND JOHANNESBURG Clint van Alten CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS Patricio Diaz Varela NEW MEXICO STATE UNIVERSITY Guram Bezhanishvili VANDERBILT UNIVERSITY Constantine Tsinakis UNIVERSITY OF DENVER COLORADO Nick Galatos KYOTO UNIVERSITY Kazushige Terui LA TROBE UNIVERSITY Tomasz Kowalski THE AUSTRALIAN NATIONAL UNIVERSITY Rajeev Gore NANYANG TECHNOLOGICAL UNIVERSITY Alwen Fernanto UNIVERSIDADE ESTADUAL DE CAMPINAS Walter Carnielli

Funding entity:

EUEU

Funding call:

European Union’s Horizon 2020 research and innovation programme, Marie Skłodowska-CurieEuropean Union’s Horizon 2020 research and innovation programme, Marie Skłodowska-Curie

Project #:

689176689176

Funding amount:

0,00€0,00€

Duration:

2016-03-012016-03-01

 -

2019-03-012019-03-01
The acronym SYSMICS stands for: Syntax meet Semantics – Methods, Interactions, and Connections in Substructural logics.The acronym SYSMICS stands for: Syntax meet Semantics – Methods, Interactions, and Connections in Substructural logics.
2020
Tommaso Flaminio (2020). Three Characterizations of Strict Coherence on Infinite-Valued Events. The Review of Symbolic Logic, 1--18. [BibTeX]
2019
Marcelo Coniglio,  Francesc Esteva,  Joan Gispert,  & Lluís Godo (2019). Maximality in finite-valued Łukasiewicz logics defined by order filters. Journal of Logic and Computation, 29, 125-156. [BibTeX]
Marcelo Coniglio,  Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (2019). Prime numbers and implication free reducts of MVn-chains. SYSMICS 2019 - Syntax meets Semantics . [BibTeX]
Stefano Bonzio,  Tommaso Flaminio,  & Paolo Galeazzi (2019). Sure-Wins Under Coherence: A Geometrical Perspective. European Conference on Symbolic and Quantitative Approaches with Uncertainty - ECSQARU 2019 (pp. 363--373). Springer. [BibTeX]
Tommaso Flaminio (2019). Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, {ECSQARU}2019, Belgrade, Serbia, September 18-20, 2019, Proceedings. In Gabriele Kern{-}Isberner and Zoran Ognjanovic (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, {ECSQARU}2019, Belgrade, Serbia, September 18-20, 2019, Proceedings (pp. 397--407). Springer. [BibTeX]