SYSMICS
SYSMICS

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

A Project coordinated by IIIA.

Web page:

Principal investigator: 

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 ...
[see more]
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 Carnielli

Funding entity:

EU
EU

Funding call:

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

Funding call URL:

Project #:

689176
689176

Total funding amount:

0,00€
0,00€

IIIA funding amount:

Duration:

01/Mar/2016
01/Mar/2016
01/Mar/2019
01/Mar/2019

Extension date:

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.
2021
Rodolfo Ertola-Biraben,  Francesc Esteva,  & Lluís Godo (2021). On distributive join semilattices. D. Fazio, A. Ledda, & F. Paoli (Eds.), Algebraic Perspectives on Substructural Logics (pp 21-40). Springer, Cham. https://doi.org/10.1007/978-3-030-52163-9_3. [BibTeX]  [PDF]
2020
Tommaso Flaminio (2020). Three Characterizations of Strict Coherence on Infinite-Valued Events. The Review of Symbolic Logic, 1--18. https://doi.org/10.1017/S1755020319000546. [BibTeX]  [PDF]
2019
Tommaso Flaminio,  Lluís Godo,  & Ricardo Oscar Rodriguez (2019). A Representation Theorem for Finite Gödel Algebras with Operators. 26th Workshop on Logic, Language, Information and Computation, WoLLIC 2019 (pp. 223-235). Springer. https://doi.org/10.1007/978-3-662-59533-6_14. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Joan Gispert,  & Lluís Godo (2019). Maximality in finite-valued Lukasiewicz logics defined by order filters. Journal of Logic and Computation, 29, 125-156. https://doi.org/10.1093/logcom/exy032. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (2019). Prime numbers and implication free reducts of MVn-chains. SYSMICS 2019 - Syntax meets Semantics (pp. 66-69). Institute for Logic, Language and Computation, University of Amsterdam. [BibTeX]  [PDF]
Ricardo Rodriguez,  Olim Tuyt,  Francesc Esteva,  & Lluís Godo (2019). Simplified Kripke semantics for K45- and KD45-like Godel modal logics. SYSMICS 2019 - Syntax meets Semantics (pp. 121-124). Institute for Logic, Language and Computation, University of Amsterdam. [BibTeX]  [PDF]
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. https://link.springer.com/chapter/10.1007%2F978-3-030-29765-7_30. [BibTeX]  [PDF]
Tommaso Flaminio (2019). Towards a Standard Completeness for a Probabilistic Logic on Infinite-Valued Events. Gabriele Kern{-}Isberner, & 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. https://doi.org/10.1007/978-3-030-29765-7\_33. [BibTeX]
Francesc Esteva
Adjunct Professor Ad Honorem
Lluís Godo
Research Professor
Phone Ext. 431857