Opendata, web and dolomites

SYSMICS SIGNED

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

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "SYSMICS" data sheet

The following table provides information about the project.

Coordinator
UNIVERSITA DEGLI STUDI DI SALERNO 

Organization address
address: VIA GIOVANNI PAOLO II 132
city: FISCIANO SA
postcode: 84084
website: www.unisa.it

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Italy [IT]
 Project website http://logica.dmi.unisa.it/sysmics/
 Total cost 580˙500 €
 EC max contribution 504˙000 € (87%)
 Programme 1. H2020-EU.1.3.3. (Stimulating innovation by means of cross-fertilisation of knowledge)
 Code Call H2020-MSCA-RISE-2015
 Funding Scheme MSCA-RISE
 Starting year 2016
 Duration (year-month-day) from 2016-03-01   to  2019-02-28

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    UNIVERSITA DEGLI STUDI DI SALERNO IT (FISCIANO SA) coordinator 45˙000.00
2    USTAV INFORMATIKY AV CR CZ (PRAHA) participant 85˙500.00
3    UNIVERSITAT DE BARCELONA ES (BARCELONA) participant 67˙500.00
4    TECHNISCHE UNIVERSITAET WIEN AT (WIEN) participant 58˙500.00
5    AGENCIA ESTATAL CONSEJO SUPERIOR DEINVESTIGACIONES CIENTIFICAS ES (MADRID) participant 45˙000.00
6    USTAV TEORIE INFORMACE A AUTOMATIZACE AV CR VVI CZ (PRAHA 8) participant 45˙000.00
7    UNIVERSITAET BERN CH (BERN) participant 36˙000.00
8    UNIVERSITA DEGLI STUDI DI MILANO IT (MILANO) participant 31˙500.00
9    UNIVERSITEIT VAN AMSTERDAM NL (AMSTERDAM) participant 27˙000.00
10    UNIVERZITA PALACKEHO V OLOMOUCI CZ (OLOMOUC) participant 27˙000.00
11    UNIVERSITA DEGLI STUDI DI CAGLIARI IT (CAGLIARI) participant 22˙500.00
12    UNIVERSIDAD AUTONOMA DE BARCELONA ES (CERDANYOLA DEL VALLES) participant 9˙000.00
13    UNIVERSITA DEGLI STUDI DELL'INSUBRIA IT (VARESE) participant 4˙500.00
14    Chapman University US (Orange) partner 0.00
15    CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET) AR (BUENOS AIRES) partner 0.00
16    LA TROBE UNIVERSITY AU (LA TROBE UNIVERSITY) partner 0.00
17    NANYANG TECHNOLOGICAL UNIVERSITY SG (SINGAPORE) partner 0.00
18    National University Corporation, Kyoto University JP (Kyoto) partner 0.00
19    THE AUSTRALIAN NATIONAL UNIVERSITY AU (CANBERRA) partner 0.00
20    The Regents of New Mexico State University US (Las Cruces) partner 0.00
21    THE UNIVERSITY OF SYDNEY AU (SYDNEY) partner 0.00
22    UNIVERSIDADE ESTADUAL DE CAMPINAS BR (CAMPINAS SP) partner 0.00
23    UNIVERSITY OF DENVER COLORADO SEMINARY US (DENVER) partner 0.00
24    UNIVERSITY OF THE WITWATERSRAND JOHANNESBURG ZA (JOHANNESBURG) partner 0.00
25    VANDERBILT UNIVERSITY US (NASHVILLE TENESSEE) partner 0.00

Map

 Project objective

Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus. While classical logic generally formalises the notion of truth, substructural logics allow to handle notions such as resources, vagueness, meaning, and language syntax, motivated by studies in computer science, epistemology, economy, and linguistics. Moreover, from a theoretical point of view, substructural logics provide a refined perspective of classical logic, since the former often exhibit features which are either absent or trivialised in the classical case. Traditionally, substructural logics have been investigated following three main approaches: proof theoretic, algebraic and abstract study. Although some connections among these approaches were observed long ago, in large part these practices developed in independence. As a result, the research directions, tools and motivations for each approach developed in relative isolation.

The main objective of this project is to establish a network of collaborations between the experts of these diverse methods to investigate substructural logics in a cohesive fashion, taking into account these three distinct yet complementary points of view. The main momentum for this endeavour is provided by recent surprising results that confirm how deeply algebraic and proof theoretic methods are linked to one another.

The proposal gathers leading experts in all these three areas, from all around the word, with the aim of reuniting these traditions and their communities and obtain deep results in all three areas. We are confident that this innovative, combined perspective on substructural logics will have a deep impact on the field and that this project will provide a stable basis of cooperation for a large, international community of algebraists, logicians and theoretical computer scientists, giving fresh impetus to these disciplines to flourish and integrate.

 Deliverables

List of deliverables.
Technical report 5 Documents, reports 2019-06-19 17:47:00
Technical report 6 Documents, reports 2019-06-19 17:47:00
Technical report 4 Documents, reports 2019-06-19 17:47:00
Fourth workshop report Documents, reports 2019-06-19 17:47:00
Final conference report Documents, reports 2019-06-19 17:47:00
Third workshop report Documents, reports 2019-06-19 17:47:00
Technical report 3 Documents, reports 2019-06-19 17:47:00
Technical report 2 Documents, reports 2019-06-19 17:47:00
Technical report 1 Documents, reports 2019-06-19 17:46:59
Report on the first workshop. Documents, reports 2019-06-19 17:47:00
Progress Report Documents, reports 2019-06-19 17:47:00
Conference proceedings Documents, reports 2019-06-19 17:46:59
Second workshop report Documents, reports 2019-06-19 17:46:59

Take a look to the deliverables list in detail:  detailed list of SYSMICS deliverables.

 Publications

year authors and title journal last update
List of publications.
2018 Agata Ciabattoni, Francesco A. Genco
Hypersequents and Systems of Rules
published pages: 1-27, ISSN: 1529-3785, DOI: 10.1145/3180075
ACM Transactions on Computational Logic 19/2 2019-06-19
2018 Guram Bezhanishvili, John Harding, Julia Ilin, Frederik Möllerström Lauridsen
MacNeille transferability and stable classes of Heyting algebras
published pages: , ISSN: 0002-5240, DOI: 10.1007/s00012-018-0534-8
Algebra universalis 79/3 2019-06-19
2018 T. Moraschini, J.G. Raftery, J.J. Wannenburg
Varieties of De Morgan monoids: Minimality and irreducible algebras
published pages: , ISSN: 0022-4049, DOI: 10.1016/j.jpaa.2018.09.015
Journal of Pure and Applied Algebra 2019-06-19
2019 Petr Cintula, Denisa Diaconescu, George Metcalfe
Skolemization and Herbrand theorems for lattice-valued logics
published pages: , ISSN: 0304-3975, DOI: 10.1016/j.tcs.2019.02.007
Theoretical Computer Science 2019-06-19
2018 Marcelo E Coniglio, Francesc Esteva, Joan Gispert, Lluis Godo
Maximality in finite-valued Łukasiewicz logics defined by order filters
published pages: 125-156, ISSN: 0955-792X, DOI: 10.1093/logcom/exy032
Journal of Logic and Computation 29/1 2019-06-19
2019 PETR CINTULA, JOSÉ GIL-FÉREZ, TOMMASO MORASCHINI, FRANCESCO PAOLI
An Abstract Approach to Consequence Relations
published pages: 1-40, ISSN: 1755-0203, DOI: 10.1017/s175502031900008x
The Review of Symbolic Logic 2019-06-19
2019 T. MORASCHINI, J. G. RAFTERY, J. J. WANNENBURG
VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS
published pages: 1-37, ISSN: 1755-0203, DOI: 10.1017/s1755020318000448
The Review of Symbolic Logic 2019-06-19
2018 GURAM BEZHANISHVILI, NICK BEZHANISHVILI, JULIA ILIN
STABLE MODAL LOGICS
published pages: 436-469, ISSN: 1755-0203, DOI: 10.1017/s1755020317000375
The Review of Symbolic Logic 11/03 2019-06-19
2018 Tommaso Flaminio, Lluis Godo, Sara Ugolini
Corrigendum to “Towards a probability theory for product logic: States, integral representation and reasoning” [Int. J. Approx. Reason. 93 (2018) 199–218]
published pages: 267-269, ISSN: 0888-613X, DOI: 10.1016/j.ijar.2018.09.010
International Journal of Approximate Reasoning 103 2019-06-19
2019 T. Moraschini, J. G. Raftery, J. J. Wannenburg
Epimorphisms, Definability and Cardinalities
published pages: , ISSN: 0039-3215, DOI: 10.1007/s11225-019-09846-5
Studia Logica 2019-06-19
2019 Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
Subframization and stabilization for superintuitionistic logics
published pages: 1-35, ISSN: 0955-792X, DOI: 10.1093/logcom/exy035
Journal of Logic and Computation 29/1 2019-06-19
2016 Rodolfo C. Ertola-Biraben, Francesc Esteva, Lluís Godo
Expanding $$hbox {FL}_{ew}$$ FL e w with a Boolean connective
published pages: , ISSN: 1432-7643, DOI: 10.1007/s00500-016-2275-y
Soft Computing 2019-06-19
2018 Ramon Jansana, Hernán Javier San Martín
On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication
published pages: , ISSN: 0039-3215, DOI: 10.1007/s11225-018-9796-6
Studia Logica 2019-06-19
2017 Ivan Chajda, Davide Fazio, Antonio Ledda
On the structure theory of Łukasiewicz near semirings
published pages: 14-28, ISSN: 1367-0751, DOI: 10.1093/jigpal/jzx044
Logic Journal of the IGPL 26/1 2019-06-19
2018 Diaconescu Denisa, Metcalfe George, Schnüriger Laura
A Real-Valued Modal Logic
published pages: , ISSN: 1860-5974, DOI:
Logical Methods in Computer Science 14(1) 2019-06-19
2016 Petr Cintula, Francesco Paoli
Is multiset consequence trivial?
published pages: , ISSN: 0039-7857, DOI: 10.1007/s11229-016-1209-7
Synthese 2019-06-19
2017 Nick Bezhanishvili, Nick Galatos, Luca Spada
Canonical formulas for k-potent commutative, integral, residuated lattices
published pages: , ISSN: 0002-5240, DOI: 10.1007/s00012-017-0430-7
Algebra universalis 2019-06-19
2017 Roberto Giuntini, Antonio Ledda, Francesco Paoli
On Some Properties of PBZ*-Lattices
published pages: 3895-3911, ISSN: 0020-7748, DOI: 10.1007/s10773-017-3374-y
International Journal of Theoretical Physics 56/12 2019-06-19
2016 Vicent Costa, Pilar Dellunde
On the existence of free models in fuzzy universal Horn classes
published pages: , ISSN: 1570-8683, DOI: 10.1016/j.jal.2016.11.002
Journal of Applied Logic 2019-06-19
2018 Antonio Ledda
Stone-Type Representations and Dualities for Varieties of Bisemilattices
published pages: 417-448, ISSN: 0039-3215, DOI: 10.1007/s11225-017-9745-9
Studia Logica 106/2 2019-06-19
2017 Petr Cintula, Carles Noguera, Nicholas J. J. Smith
A Logical Framework for Graded Predicates
published pages: 3-16, ISSN: , DOI: 10.1007/978-3-662-55665-8_1
Lecture Notes in Computer Science 2019-06-19
2017 Adam Přenosil
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics
published pages: 1255-1289, ISSN: 0039-3215, DOI: 10.1007/s11225-017-9746-8
Studia Logica 105/6 2019-06-19
2017 Ramon Jansana, Hernán Javier San Martín
On Kalman’s functor for bounded hemi-implicative semilattices and hemi-implicative lattices
published pages: 47-82, ISSN: 1367-0751, DOI: 10.1093/jigpal/jzx052
Logic Journal of the IGPL 26/1 2019-06-19
2018 Tommaso Flaminio, Lluis Godo, Sara Ugolini
Towards a probability theory for product logic: States, integral representation and reasoning
published pages: 199-218, ISSN: 0888-613X, DOI: 10.1016/j.ijar.2017.11.003
International Journal of Approximate Reasoning 93 2019-06-19

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "SYSMICS" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "SYSMICS" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.3.3.)

ConnecCaribbean (2019)

Connected worlds: the Caribbean, origin of modern world

Read More  

DisTerrMem (2019)

Memory Across Borders: Dealing with the Legacy of Disputed Territories

Read More  

InterTAU (2020)

Integrative structural biology of pathological tau protein, an appealing therapeutic target for Alzheimer´s disease modifying drugs

Read More