Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

PLEXUS

Financiado

Cerrado

Philosophical Logical and Experimental routes to substructurality

There is a large family of non-classical logics that fall under the heading of substructurality. Among the logics in the substructural family, the recent philosophical literature pays particular attention to what can be termed rad... ver más

31/12/2026

UPNA

557K€

Presupuesto del proyecto: 557K€

Líder del proyecto

UNIVERSIDAD DE NAVARRA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 847

Fecha límite participación Sin fecha límite de participación.

Ver 13 Participantes

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2022-10-18

HORIZON-MSCA-2021-SE-01-01: MSCA Staff Exchanges 2021 ExpectedOutcome:

I+D

Cerrada hace 2 años

0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

13 Participantes

UPNA

197.80K€ | Lider

CONSEJO NACIONAL DE INVESTIG...

UNITO

124.20K€ | Participante

UNICA

36.80K€ | Participante

Proyectos interesantes

MTM2008-01139

Applied Physics

Software

41K€ Cerrado

MTM2011-25747

Applied Physics

Software

72K€ Cerrado

SYSMICS

Applied Physics

Software

581K€ Cerrado

ExtenDD

Applied Physics

Software

2M€ Cerrado

NTNSP

Applied Physics

Software

169K€ Cerrado

PTASNCL

Applied Physics

Software

219K€ Cerrado

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Duración del proyecto: 50 meses Fecha Inicio: 2022-10-18
Fecha Fin: 2026-12-31

Líder del proyecto

UNIVERSIDAD DE NAVARRA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 847

Presupuesto del proyecto 557K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto There is a large family of non-classical logics that fall under the heading of substructurality. Among the logics in the substructural family, the recent philosophical literature pays particular attention to what can be termed radically substructural logics: non-transitive and non-reflexive reflexive logics as well as variants and hybrids of these obtained by metainferential ascent. The overall goal of PLEXUS is to advance the knowledge of radical substructural logics and deepen our understanding of the broader phenomenon of substructurality, by coordinating the efforts of researchers across the globe, across generations, and across traditions. We see our project characterised by the following concepts: integration, cross-fertilization and knowledge sharing. This general objective is articulated in three objectives: 1. Philosophical Foundations: investigate the main philosophical challenges raised by radically substructural logics. 2. Logic and applications: investigate proof-theoretic and model theoretic characterizations of radically substructural logics and their logico-linguistic applications. 3. The Metainferences Inventory and Metainferences Prover: develop a tool to measure naïve reasoners' preferences on metainferences and implement an automatic metainferences prover.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores