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

GETFUN

Financiado

Cerrado

Generalizing Truth Functionality

The Fregean-inspired Principle of Compositionality of Meaning (PoC), for formal languages, may be construed as asserting that the meaning of a compound expression is deterministically (and often recursively) analysable in terms of... ver más

31/12/2016

222K€

Presupuesto del proyecto: 222K€

Líder del proyecto

INSTITUTO DE TELECOMUNICACOES 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 11 Participantes

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2016-12-31 No tenemos la información de la convocatoria

0% 100% 100%

Información adicional privada

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

11 Participantes

0.00€ | Lider

TAU

N.D. | Participante

KINGS COLLEGE LONDON

N.D. | Participante

TAT

N.D. | Participante

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

Proyectos interesantes

PAnaMoL Proof theoretic Analysis of Modal Logics 178K€ Cerrado

EMEHOC Enriched Minimal Expressivism and Higher Order Concepts 195K€ Cerrado

REMODEL Structures for modal and deontic logics 184K€ Cerrado

FFI2013-47126-P LOGICA INTENSIONAL HIBRIDA 35K€ Cerrado

FFI2009-09345 NOCIONES DE COMPLETUD 48K€ Cerrado

MTM2009-13842-C02-01 GESTION MECANIZADA DEL CONOCIMIENTO MATEMATICO. APLICACIONES... 52K€ Cerrado

Líder del proyecto

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

TRL 4-5

Presupuesto del proyecto 222K€

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

Descripción del proyecto The Fregean-inspired Principle of Compositionality of Meaning (PoC), for formal languages, may be construed as asserting that the meaning of a compound expression is deterministically (and often recursively) analysable in terms of the meaning of its constituents, taking into account the mode in which these constituents are combined so as to form the compound expression. From a logical point of view, this amounts to prescribing a constraint --that may or may not be respected-- on the internal mechanisms that build and give meaning to a given formal system. Within the domain of formal semantics and of the structure of logical derivations, PoC is often directly reflected by metaproperties such as truth-functionality and analyticity, characteristic of computationally well-behaved logical systems. The project GeTFun aims at being a coordinated exchange programme for the investigation of compositional meaning in logic and applications. The consortium will study various well-motivated ways in which the attractive properties and metaproperties of truth-functional logics may be stretched so as to cover more extensive logical grounds. The ubiquity of non-classical logics in the formalization of practical reasoning demands the formulation of more flexible theories of meaning and compositionality that allow for the establishment of coherent and inclusive bases for their understanding. Such investigations presuppose not only the development of adequate frameworks from the perspectives of Model Theory, Proof Theory and Universal Logic, but also the construction of solid bridges between the related approaches based on various generalizations of truth-functionality. Applications of broadly truth-functional logics, in their various guises, are envisaged in several areas of computer science, mathematics, philosophy and linguistics, where the ever increasing complexity of systems continuously raise new and difficult challenges to compositionality.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores