Modalities in Substructural Logics: Theory, Methods and Applications

Información del proyecto

MOSAIC

Identificador del acuerdo de subvención: 101007627

DOI 10.3030/101007627

Fecha de la firma de la CE 9 Noviembre 2020

Fecha de inicio 1 Septiembre 2021

Fecha de finalización 30 Abril 2026

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total € 1 016 600,00

Aportación de la UE € 1 016 600,00

Coordinado por

AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGACIONES CIENTIFICAS
Spain

Descripción del proyecto

Explorar las «consecuencias» de usar menos estructuras

La lógica es una disciplina que estudia el razonamiento correcto y los enunciados verdaderos en un entorno formal. Sus herramientas básicas son los lenguajes, los sistemas deductivos, la sintaxis y la semántica. Las lógicas modales clásicas conforman una familia de lógicas que se centran en los modos de verdad, es decir, analizan si un enunciado es «necesariamente» o «posiblemente» verdadero en una situación determinada. El proyecto MOSAIC, financiado con fondos europeos, está estudiando más a fondo las lógicas modales basándose en el entorno general de las lógicas subestructurales. Estas últimas constituyen una clase amplia de sistemas formales que incluyen la lógica clásica, la intuicionista, la multivaluada y la paraconsistente, por citar algunas. Más allá del análisis teórico, el proyecto MOSAIC también pretende desarrollar herramientas y métodos para conseguir que las lógicas modales subestructurales repercutan en varios ámbitos de la ciencia aplicada, como la inteligencia artificial, la seguridad y el razonamiento jurídico.

Objetivo

Modal logics are a family of formal systems based on classical logic which aim at improving the expressive power of the classical calculus allowing to reason about “modes of truth”. The aim of the present proposal is to put forward a systematic study of substructural modal logics, understood as those modal logics in which the modal operators are based upon the general ground of substructural logics, weaker deductive systems than classical logic. Our aim is also to explore the applications of substructural modal logics outside the bounds of mathematical logic and, in particular, in the areas of knowledge representation; legal reasoning; data privacy and security; logical analysis of natural language.

Ámbito científico

• natural sciences › mathematics › pure mathematics › discrete mathematics › mathematical logic
• natural sciences › computer and information sciences › knowledge engineering

Palabras clave

• Modal logics
• Substructural logics
• Proof theory
• Residuated Lattices
• Kripke Semantics
• Duality Theory
• Coalgebras
• Applied logic
• Computational linguistics

Programa(s)

• H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions Main Programme
• H2020-EU.1.3.3. - Stimulating innovation by means of cross-fertilisation of knowledge

Tema(s)

• MSCA-RISE-2020 - Research and Innovation Staff Exchange

Convocatoria de propuestas

H2020-MSCA-RISE-2020

Régimen de financiación

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

Coordinador

AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGACIONES CIENTIFICAS

• Aportación neta de la UEn: € 138 000,00
• Dirección: CALLE SERRANO 117 ; 28006 Madrid ; España
• Región: Comunidad de Madrid › Comunidad de Madrid › Madrid
• Tipo de actividad: Research Organisations
• Coste total: € 138 000,00

Participantes (21)

UNIVERSITA DEGLI STUDI DI SALERNO

Italia

• Aportación neta de la UEn: € 73 600,00
• Dirección: VIA GIOVANNI PAOLO II 132 ; 84084 Fisciano Sa
• Región: Sud › Campania › Salerno
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 73 600,00

UNIVERSITAT AUTONOMA DE BARCELONA

España

• Aportación neta de la UEn: € 23 000,00
• Dirección: EDIF A CAMPUS DE LA UAB BELLATERRA CERDANYOLA V ; 08193 Cerdanyola Del Valles
• Región: Este › Cataluña › Barcelona
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 23 000,00

UNIVERSITAT DE BARCELONA

España

• Aportación neta de la UEn: € 87 400,00
• Dirección: GRAN VIA DE LES CORTS CATALANES 585 ; 08007 Barcelona
• Región: Este › Cataluña › Barcelona
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 87 400,00

UNIVERSITEIT VAN AMSTERDAM

Países Bajos

• Aportación neta de la UEn: € 64 400,00
• Dirección: SPUI 21 ; 1012WX Amsterdam
• Región: West-Nederland › Noord-Holland › Groot-Amsterdam
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 64 400,00

USTAV INFORMATIKY AV CR

Chequia

• Aportación neta de la UEn: € 133 400,00
• Dirección: POD VODARENSKOU VEZI 271/2 ; 182 00 Praha
• Región: Česko › Praha › Hlavní město Praha
• Tipo de actividad: Research Organisations
• Coste total: € 133 400,00

USTAV TEORIE INFORMACE A AUTOMATIZACE AV CR VVI

La participación finalizó

Chequia

• Aportación neta de la UEn: € 0,00
• Dirección: POD VODARENSKOU VEZI 4 LIBEN ; 182 00 Praha 8
• Región: Česko › Praha › Hlavní město Praha
• Tipo de actividad: Research Organisations
• Coste total: Sin datos

UNIVERSITAET BERN

Suiza

• Aportación neta de la UEn: € 27 600,00
• Dirección: HOCHSCHULSTRASSE 6 ; 3012 Bern
• Región: Schweiz/Suisse/Svizzera › Espace Mittelland › Bern / Berne
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 27 600,00

UNIWERSYTET MIKOLAJA KOPERNIKA W TORUNIU

Polonia

• Aportación neta de la UEn: € 23 000,00
• Dirección: UL. JURIJA GAGARINA 11 ; 87100 Torun
• Región: Makroregion północny › Kujawsko-pomorskie › Bydgosko-toruński
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 23 000,00

TECHNISCHE UNIVERSITAET WIEN

Austria

• Aportación neta de la UEn: € 82 800,00
• Dirección: KARLSPLATZ 13 ; 1040 Wien
• Región: Ostösterreich › Wien › Wien
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 82 800,00

UNIVERSITA DEGLI STUDI DI MILANO

Italia

• Aportación neta de la UEn: € 32 200,00
• Dirección: Via Festa Del Perdono 7 ; 20122 Milano
• Región: Nord-Ovest › Lombardia › Milano
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 32 200,00

UNIVERSITY COLLEGE LONDON

Reino Unido

• Aportación neta de la UEn: € 46 000,00
• Dirección: GOWER STREET ; WC1E 6BT London
• Región: London › Inner London — West › Camden and City of London
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 46 000,00

ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA

Italia

• Aportación neta de la UEn: € 9 200,00
• Dirección: VIA ZAMBONI 33 ; 40126 Bologna
• Región: Nord-Est › Emilia-Romagna › Bologna
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 9 200,00

STICHTING VU

Países Bajos

• Aportación neta de la UEn: € 101 200,00
• Dirección: DE BOELELAAN 1105 ; 1081 HV Amsterdam
• Región: West-Nederland › Noord-Holland › Groot-Amsterdam
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 101 200,00

INSTITUT NATIONAL DES SCIENCES APPLIQUEES CENTRE VAL DE LOIRE

Francia

• Aportación neta de la UEn: € 78 200,00
• Dirección: 88 BOULEVARD LAHITOLLE TECHNOPOLE LAHITOLLE ; 18022 Bourges Cedex
• Región: Centre — Val de Loire › Centre — Val de Loire › Cher
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 78 200,00

UNIVERSITA DEGLI STUDI DI GENOVA

Italia

• Aportación neta de la UEn: € 18 400,00
• Dirección: VIA BALBI 5 ; 16126 Genova
• Región: Nord-Ovest › Liguria › Genova
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 18 400,00

UNIVERSITEIT UTRECHT

Países Bajos

• Aportación neta de la UEn: € 4 600,00
• Dirección: HEIDELBERGLAAN 8 ; 3584 CS Utrecht
• Región: West-Nederland › Utrecht › Utrecht
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 4 600,00

UNIVERSITA DEGLI STUDI DELL'INSUBRIA

Italia

• Aportación neta de la UEn: € 4 600,00
• Dirección: VIA RAVASI 2 ; 21100 Varese
• Región: Nord-Ovest › Lombardia › Varese
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 4 600,00

UNIVERSITA DEGLI STUDI DI CAGLIARI

Italia

• Aportación neta de la UEn: € 9 200,00
• Dirección: VIA UNIVERSITA 40 ; 09124 Cagliari
• Región: Isole › Sardegna › Cagliari
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 9 200,00

UNIWERSYTET JAGIELLONSKI

Polonia

• Aportación neta de la UEn: € 9 200,00
• Dirección: UL GOLEBIA 24 ; 31-007 Krakow
• Región: Makroregion południowy › Małopolskie › Miasto Kraków
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 9 200,00

UNIVERZITA PALACKEHO V OLOMOUCI

Chequia

• Aportación neta de la UEn: € 9 200,00
• Dirección: KRIZKOVSKEHO 8 ; 771 47 Olomouc
• Región: Česko › Střední Morava › Olomoucký kraj
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 9 200,00

UNIVERSITA DEGLI STUDI DI SIENA

Italia

• Aportación neta de la UEn: € 41 400,00
• Dirección: VIA BANCHI DI SOTTO 55 ; 53100 Siena
• Región: Centro (IT) › Toscana › Siena
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 41 400,00

Socios (12)

Socio

Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.

CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET)

Argentina

• Aportación neta de la UEn: € 0,00
• Dirección: GODOY CRUZ 2290 ; C1425FQB Buenos Aires
• Tipo de actividad: Research Organisations
• Coste total: € 216 200,00

Socio

Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.

UNIVERSIDADE ESTADUAL DE CAMPINAS

Brasil

• Aportación neta de la UEn: € 0,00
• Dirección: CIDADE UNIVERSITARIA ZEFERINO SN ; 13083 875 Campinas Sp
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: Sin datos

Socio

Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.

UNIVERSITY OF DENVER COLORADO SEMINARY

Estados Unidos

• Aportación neta de la UEn: € 0,00
• Dirección: S UNIVERSITY BLVD 2199 ; 80208 Denver
• Tipo de actividad: Other
• Coste total: Sin datos

Socio

Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.

THE AUSTRALIAN NATIONAL UNIVERSITY

Australia

• Aportación neta de la UEn: € 0,00
• Dirección: LIVERSIDGE STREET 1 BUILDING 67C ; 0200 Canberra
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: Sin datos

Socio

Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.

UNIVERSITY OF THE WITWATERSRAND JOHANNESBURG

Sudáfrica

• Aportación neta de la UEn: € 0,00
• Dirección: JAN SMUTS AVENUE 1 ; 2001 Johannesburg
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: € 41 400,00

Socio

Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.

LA TROBE UNIVERSITY

Australia

• Aportación neta de la UEn: € 0,00
• Dirección: KINGSBURY DRIVE ; 3086 La Trobe University
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: Sin datos

Socio

Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.

UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE

Brasil

• Aportación neta de la UEn: € 0,00
• Dirección: AV SENADOR SALGADO FILHO 3000 ; 59078-970 Natal
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: Sin datos

Socio

Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.

THE UNIVERSITY OF SYDNEY

Australia

• Aportación neta de la UEn: € 0,00
• Dirección: CAMPERDOWN CAMPUS ARUNDEL ST 71/79 ; 2006 Sydney
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: Sin datos

Socio

Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.

Chapman University

Estados Unidos

• Aportación neta de la UEn: € 0,00
• Dirección: 1 University Drive ; Orange
• Tipo de actividad: Other
• Coste total: Sin datos

Socio

Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.

COMMONWEALTH SCIENTIFIC AND INDUSTRIAL RESEARCH ORGANISATION

Australia

• Aportación neta de la UEn: € 0,00
• Dirección: CLUNIES ROSS STREET CSIRO BLACK MOUNTAIN SCIENCE AND INNOVATION PARK ; 2601 Acton Act
• Tipo de actividad: Research Organisations
• Coste total: Sin datos

Socio

Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.

THE UNIVERSITY OF QUEENSLAND

Australia

• Aportación neta de la UEn: € 0,00
• Dirección: ST LUCIA ; 4072 Brisbane
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: Sin datos

Socio

Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.

The Regents of New Mexico State University

Estados Unidos

• Aportación neta de la UEn: € 0,00
• Dirección: Corner of Espina Street & Stewart Street ; NM 88003-8001 Las Cruces
• Tipo de actividad: Higher or Secondary Education Establishments
• Coste total: Sin datos