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.

Principal investigator:

Lluís Godo Lluí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 Carnielli 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

Project #:

689176 689176

Funding amount:

0,00€ 0,00€

Duration:

2016-03-01 2016-03-01

 -

2019-03-01 2019-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; Three Characterizations of Strict Coherence on Infinite-Valued Events. The Review of Symbolic Logic; 2020.  [BibTeX]
2019
Marcelo ConiglioFrancesc EstevaJoan GispertLluís Godo; Maximality in finite-valued Łukasiewicz logics defined by order filters. Journal of Logic and Computation; 2019.  [BibTeX]
Marcelo ConiglioFrancesc EstevaTommaso FlaminioLluís Godo; Prime numbers and implication free reducts of MVn-chains. 2019.  [BibTeX]
Stefano BonzioTommaso FlaminioPaolo Galeazzi; Sure-Wins Under Coherence: A Geometrical Perspective. Symbolic and Quantitative Approaches to Reasoning with Uncertainty; 2019.  [BibTeX]
Tommaso Flaminio; Towards a Standard Completeness for a Probabilistic Logic on Infinite-Valued Events. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, ECSQARU; 2019.  [BibTeX]