SYSMICS
: 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]
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
Adjunct Professor Ad Honorem
