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

TEAMDEP

Financiado

Cerrado

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

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

Ver 2 Participantes

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

ERC-2020-ADG: ERC ADVANCED GRANT

I+D

Cerrada hace 4 años

0% 100% 100%

Información adicional privada

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

2 Participantes

HELSINGIN YLIOPISTO

2.50M€ | Lider

FLYMATIC LOGISTIC

117.03K€ | Participante

Proyectos interesantes

FFI2008-05859

Applied Physics

Software

23K€ Cerrado

FFI2017-82878-P

Applied Physics

Software

15K€ Cerrado

FFI2014-53919-P

Applied Physics

Software

18K€ Cerrado

NTNSP

Applied Physics

Software

169K€ Cerrado

PID2020-116502GB-I00

Applied Physics

Software

32K€ Cerrado

USHP

Applied Physics

Software

230K€ 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: 60 meses Fecha Inicio: 2021-05-08
Fecha Fin: 2026-05-31

Líder del proyecto

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

TRL 4-5

Presupuesto del proyecto 2M€

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

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

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores