Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

TEAMDEP

Financiado

Team semantics and dependence logic

"In the traditional so-called Tarski’s Truth Definition the semantics of first order logic is defined with respect to an assignment of values to the free variables. A richer family of semantic concepts can be modelled if semantic... ver más

31/05/2026

HELSINGIN YLIOPIST...

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

HELSINGIN YLIOPISTO No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Ver 2 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2021-05-08

Línea de financiación objetivo El proyecto se financió a través de la siguiente ayuda:

ERC-2020-ADG: ERC ADVANCED GRANT

I+D

Cerrada hace 4 años

0% 100% 100%

2 Participantes

HELSINGIN YLIOPISTO

2.50M€ | Lider

FLYMATIC LOGISTIC

117.03K€ | Participante

Últimas noticias

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

29-11-2024: CMVAMADRID En las últimas 48 horas el Organismo CMVAMADRID ha otorgado 37 concesiones

Duración del proyecto: 60 meses Fecha Inicio: 2021-05-08
Fecha Fin: 2026-05-31

Líder del proyecto

HELSINGIN YLIOPISTO

TRL 4-5

Presupuesto del proyecto 2M€

Descripción del proyecto "In the traditional so-called Tarski’s Truth Definition the semantics of first order logic is defined with respect to an assignment of values to the free variables. A richer family of semantic concepts can be modelled if semantics is defined with respect to a set (a ""team"") of such assignments. This is what is called team semantics, a term coined by the PI in his 2007 monograph, and used ever since to describe this highly non-trivial modification of Tarskian semantics. Team semantics was introduced around the same time in inquisitive logic under the name state semantics. Examples of semantic concepts available in team semantics but not in traditional Tarski semantics are the concepts of dependence and independence. The PI introduced what he called dependence logic around these concepts. It appears that teams appear naturally in several areas of sciences and humanities which has made it possible to apply dependence logic and its variants to these areas. Now is the right moment to move from dependence logic to a broader explication of team semantics. This is what the TEAMDEP project proposes to do. In the TEAMDEP project we take team semantics to a new level by focusing on its hard axiomatizability questions and to its applications to the foundations of quantum mechanics and to the multiverse of set theory."

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores