Community Research and Development Information Service - CORDIS

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

From 2016-03-01 to 2019-02-28, ongoing project

Project details

Total cost:

EUR 580 500

EU contribution:

EUR 504 000

Coordinated in:

Italy

Call for proposal:

H2020-MSCA-RISE-2015See other projects for this call

Funding scheme:

MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE)

Objective

Related Information not available

Deliverables

Publications

  • A Logical Framework for Graded Predicates
    Author(s): Petr Cintula, Carles Noguera, Nicholas J. J. Smith
    Published in: Lecture Notes in Computer Science, 2017. Page(s) 3-16. 
    DOI: 10.1007/978-3-662-55665-8_1

Coordinator

UNIVERSITA DEGLI STUDI DI SALERNO
Italy

EU contribution: EUR 45 000


VIA GIOVANNI PAOLO II 132
84084 FISCIANO SA
Italy
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

Participants

UNIVERSITA DEGLI STUDI DI CAGLIARI
Italy

EU contribution: EUR 22 500


VIA UNIVERSITA 40
09124 CAGLIARI
Italy
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

UNIVERSITA DEGLI STUDI DI MILANO
Italy

EU contribution: EUR 31 500


Via Festa Del Perdono 7
20122 MILANO
Italy
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

UNIVERZITA PALACKEHO V OLOMOUCI
Czech Republic

EU contribution: EUR 27 000


KRIZKOVSKEHO 8
771 47 OLOMOUC
Czech Republic
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

USTAV INFORMATIKY AV CR
Czech Republic

EU contribution: EUR 85 500


POD VODARENSKOU VEZI 271/2
182 07 PRAHA
Czech Republic
See on map
Activity type: Research Organisations

Contact the organisation

USTAV TEORIE INFORMACE A AUTOMATIZACE AV CR VVI
Czech Republic

EU contribution: EUR 45 000


POD VODARENSKOU VEZI 4 LIBEN
182 00 PRAHA 8
Czech Republic
See on map
Activity type: Research Organisations

Contact the organisation

TECHNISCHE UNIVERSITAET WIEN
Austria

EU contribution: EUR 58 500


KARLSPLATZ 13
1040 WIEN
Austria
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGACIONES CIENTIFICAS
Spain

EU contribution: EUR 45 000


CALLE SERRANO 117
28006 MADRID
Spain
See on map
Activity type: Research Organisations

Contact the organisation

UNIVERSITAT DE BARCELONA
Spain

EU contribution: EUR 67 500


GRAN VIA DE LES CORTS CATALANES 585
08007 BARCELONA
Spain
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

UNIVERSITEIT VAN AMSTERDAM
Netherlands

EU contribution: EUR 27 000


SPUI 21
1012WX AMSTERDAM
Netherlands
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

UNIVERSITA DEGLI STUDI DELL'INSUBRIA
Italy

EU contribution: EUR 4 500


VIA RAVASI 2
21100 VARESE
Italy
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

UNIVERSITAT AUTONOMA DE BARCELONA
Spain

EU contribution: EUR 9 000


CAMPUS DE LA UAB BELLATERRA
08193 CERDANYOLA BARCELONA
Spain
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

UNIVERSITAET BERN
Switzerland

EU contribution: EUR 36 000


HOCHSCHULSTRASSE 6
3012 BERN
Switzerland
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

Partner organisations

UNIVERSITY OF THE WITWATERSRAND JOHANNESBURG
South Africa
JAN SMUTS AVENUE 1
2001 JOHANNESBURG
South Africa
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET)
Argentina
GODOY CRUZ 2290
C1425FQB BUENOS AIRES
Argentina
See on map
Activity type: Research Organisations

Contact the organisation

The Regents of New Mexico State University
United States
Corner of Espina Street & Stewart Street
NM 88003-8001 Las Cruces
United States
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

VANDERBILT UNIVERSITY
United States
WEST END AVENUE 2201
37235 NASHVILLE TENESSEE
United States
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

UNIVERSITY OF DENVER COLORADO SEMINARY
United States
S UNIVERSITY BLVD 2199
80208 DENVER
United States
See on map
Activity type: Other

Contact the organisation

National University Corporation, Kyoto University
Japan
Yoshida-Honmachi, Sakyo-ku 36-1
606-8501 Kyoto
Japan
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

LA TROBE UNIVERSITY
Australia
KINGSBURY DRIVE
3086 LA TROBE UNIVERSITY
Australia
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

THE AUSTRALIAN NATIONAL UNIVERSITY
Australia
LIVERSIDGE STREET 1 BUILDING 67C
0200 CANBERRA
Australia
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

NANYANG TECHNOLOGICAL UNIVERSITY
Singapore
NANYANG AVENUE 50
639798 SINGAPORE
Singapore
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

UNIVERSIDADE ESTADUAL DE CAMPINAS
Brazil
CIDADE UNIVERSITARIA ZEFERINO SN
13083 875 CAMPINAS SP
Brazil
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

Chapman University
United States
1 University Drive
Orange
United States
See on map
Activity type: Private for-profit entities (excluding Higher or Secondary Education Establishments)

Contact the organisation

THE UNIVERSITY OF SYDNEY
Australia
The University of Sydney
2006 SYDNEY
Australia
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top