Hola,
Are you new here?

I have an account

¿Te ayudamos?

Ejemplos de búsqueda

Vídeos Explicativos

PLEXUS

financed

Closed

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... see more

31/12/2026

UPNA

557K€

Project Budget: 557K€

Project leader

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

total researchers 855

PARTICIPATION DEPralty Sin fecha límite de participación.

Ver 13 Participantes

Financing granted El organismo HORIZON EUROPE notifico la concesión del proyecto The day 2022-10-18

HORIZON-MSCA-2021-SE-01-01: MSCA Staff Exchanges 2021 Expected Outcome:

I+D

Cerrada

0% 100% 100%

characteristics of the participant

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Private Information

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

13 Participantes

UPNA

197.80K€ | Leader

CONSEJO NACIONAL DE INVESTIG...

UNITO

124.20K€ | participant

UNICA

36.80K€ | participant

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

Project duration: 50 months Date Start: 2022-10-18
End date: 2026-12-31

Project leader

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

total researchers 855

Project Budget 557K€

participation deadline Sin fecha límite de participación.

Project description 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

Forgot your password?

Financing

Companies

CTIs/Universidades

Projects

researchers