#	Pagina
attuale pagina	/open-h2020/projects/199888/index.html

Opendata, web and dolomites

SYSMICS SIGNED

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

Total Cost €

EC-Contrib. €

Partnership

Views

Outcomes and
results

SYSMICS project word cloud

Explore the words cloud of the SYSMICS project. It provides you a very rough idea of what is the project "SYSMICS" about.

algebraic communities handle generally integrate algebraists notions directions formal impetus perspective giving basis isolation theoretical gentzen vagueness motivations connections linked refine independence deeply formalises exhibit international logic absent former community fashion collaborations epistemology structural theoretic syntax relative science cohesive confirm sequent truth network points flourish surprising ago calculus cooperation language fresh point proof notion scientists word endeavour view refined abstract tools confident substructural either weakening logics experts obtain rules complementary economy disciplines reuniting trivialised deep computer momentum logicians linguistics reasoning motivated innovative diverse practices combined traditions stable

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 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.	IT (FISCIANO SA)	coordinator	45˙000.00
2	USTAV INFORMATIKY AV CR USTAV INFORMATIKY AV CR Organization address address: POD VODARENSKOU VEZI 271/2 city: PRAHA postcode: 182 07 website: www.cs.cas.cz contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	CZ (PRAHA)	participant	85˙500.00
3	UNIVERSITAT DE BARCELONA UNIVERSITAT DE BARCELONA Organization address address: GRAN VIA DE LES CORTS CATALANES 585 city: BARCELONA postcode: 8007 website: http://www.ub.es contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ES (BARCELONA)	participant	67˙500.00
4	TECHNISCHE UNIVERSITAET WIEN TECHNISCHE UNIVERSITAET WIEN Organization address address: KARLSPLATZ 13 city: WIEN postcode: 1040 website: www.tuwien.ac.at contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AT (WIEN)	participant	58˙500.00
5	AGENCIA ESTATAL CONSEJO SUPERIOR DEINVESTIGACIONES CIENTIFICAS AGENCIA ESTATAL CONSEJO SUPERIOR DEINVESTIGACIONES CIENTIFICAS Organization address address: CALLE SERRANO 117 city: MADRID postcode: 28006 website: http://www.csic.es contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ES (MADRID)	participant	45˙000.00
6	USTAV TEORIE INFORMACE A AUTOMATIZACE AV CR VVI USTAV TEORIE INFORMACE A AUTOMATIZACE AV CR VVI Organization address address: POD VODARENSKOU VEZI 4 LIBEN city: PRAHA 8 postcode: 182 00 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	CZ (PRAHA 8)	participant	45˙000.00
7	UNIVERSITAET BERN UNIVERSITAET BERN Organization address address: HOCHSCHULSTRASSE 6 city: BERN postcode: 3012 website: http://www.unibe.ch contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	CH (BERN)	participant	36˙000.00
8	UNIVERSITA DEGLI STUDI DI MILANO UNIVERSITA DEGLI STUDI DI MILANO Organization address address: Via Festa Del Perdono 7 city: MILANO postcode: 20122 website: www.unimi.it contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (MILANO)	participant	31˙500.00
9	UNIVERSITEIT VAN AMSTERDAM UNIVERSITEIT VAN AMSTERDAM Organization address address: SPUI 21 city: AMSTERDAM postcode: 1012WX website: www.uva.nl contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	NL (AMSTERDAM)	participant	27˙000.00
10	UNIVERZITA PALACKEHO V OLOMOUCI UNIVERZITA PALACKEHO V OLOMOUCI Organization address address: KRIZKOVSKEHO 8 city: OLOMOUC postcode: 771 47 website: www.upol.cz contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	CZ (OLOMOUC)	participant	27˙000.00
11	UNIVERSITA DEGLI STUDI DI CAGLIARI UNIVERSITA DEGLI STUDI DI CAGLIARI Organization address address: VIA UNIVERSITA 40 city: CAGLIARI postcode: 9124 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (CAGLIARI)	participant	22˙500.00
12	UNIVERSIDAD AUTONOMA DE BARCELONA UNIVERSIDAD AUTONOMA DE BARCELONA Organization address address: CALLE CAMPUS UNIVERSITARIO SN CERDANYOLA V city: CERDANYOLA DEL VALLES postcode: 8290 website: http://www.uab.es contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ES (CERDANYOLA DEL VALLES)	participant	9˙000.00
13	UNIVERSITA DEGLI STUDI DELL'INSUBRIA UNIVERSITA DEGLI STUDI DELL'INSUBRIA Organization address address: VIA RAVASI 2 city: VARESE postcode: 21100 website: www.uninsubria.it contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (VARESE)	participant	4˙500.00
14	Chapman University Chapman University Organization address address: 1 University Drive city: Orange postcode: n.a. website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	US (Orange)	partner	0.00
15	CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET) CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET) Organization address address: GODOY CRUZ 2290 city: BUENOS AIRES postcode: C1425FQB website: www.conicet.gov.ar contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AR (BUENOS AIRES)	partner	0.00
16	LA TROBE UNIVERSITY LA TROBE UNIVERSITY Organization address address: KINGSBURY DRIVE city: LA TROBE UNIVERSITY postcode: 3086 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AU (LA TROBE UNIVERSITY)	partner	0.00
17	NANYANG TECHNOLOGICAL UNIVERSITY NANYANG TECHNOLOGICAL UNIVERSITY Organization address address: NANYANG AVENUE 50 city: SINGAPORE postcode: 639798 website: www.ntu.edu.sg contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	SG (SINGAPORE)	partner	0.00
18	National University Corporation, Kyoto University National University Corporation, Kyoto University Organization address address: Yoshida-Honmachi, Sakyo-ku 36-1 city: Kyoto postcode: 606-8501 website: http://www.kyoto-u.ac.jp/en contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	JP (Kyoto)	partner	0.00
19	THE AUSTRALIAN NATIONAL UNIVERSITY THE AUSTRALIAN NATIONAL UNIVERSITY Organization address address: LIVERSIDGE STREET 1 BUILDING 67C city: CANBERRA postcode: 200 website: http://researchservices.anu.edu.au/ contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AU (CANBERRA)	partner	0.00
20	The Regents of New Mexico State University The Regents of New Mexico State University Organization address address: Corner of Espina Street & Stewart Street city: Las Cruces postcode: NM 88003-8001 website: http://research.nmsu.edu/ovpr.html contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	US (Las Cruces)	partner	0.00
21	THE UNIVERSITY OF SYDNEY THE UNIVERSITY OF SYDNEY Organization address address: The University of Sydney city: SYDNEY postcode: 2006 website: www.usyd.edu.au/ contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AU (SYDNEY)	partner	0.00
22	UNIVERSIDADE ESTADUAL DE CAMPINAS UNIVERSIDADE ESTADUAL DE CAMPINAS Organization address address: CIDADE UNIVERSITARIA ZEFERINO SN city: CAMPINAS SP postcode: 13083 875 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	BR (CAMPINAS SP)	partner	0.00
23	UNIVERSITY OF DENVER COLORADO SEMINARY UNIVERSITY OF DENVER COLORADO SEMINARY Organization address address: S UNIVERSITY BLVD 2199 city: DENVER postcode: 80208 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	US (DENVER)	partner	0.00
24	UNIVERSITY OF THE WITWATERSRAND JOHANNESBURG UNIVERSITY OF THE WITWATERSRAND JOHANNESBURG Organization address address: JAN SMUTS AVENUE 1 city: JOHANNESBURG postcode: 2001 website: www.wits.ac.za contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ZA (JOHANNESBURG)	partner	0.00
25	VANDERBILT UNIVERSITY VANDERBILT UNIVERSITY Organization address address: WEST END AVENUE 2201 city: NASHVILLE TENESSEE postcode: 37235 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	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

List of publications.
year	authors and title	journal	last update
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.