GETFUN

Generalizing Truth-Functionality

 Coordinatore INSTITUTO DE TELECOMUNICACOES 

 Organization address address: AVENIDA DE ROVISCO PAIS 1
city: LISBOA
postcode: 1049-001

contact info
Titolo: Ms.
Nome: Sara
Cognome: Correia
Email: send email
Telefono: 351218000000
Fax: 351218000000

 Nazionalità Coordinatore Portugal [PT]
 Totale costo 222˙000 €
 EC contributo 222˙000 €
 Programma FP7-PEOPLE
Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)
 Code Call FP7-PEOPLE-2012-IRSES
 Funding Scheme MC-IRSES
 Anno di inizio 2013
 Periodo (anno-mese-giorno) 2013-01-01   -   2016-12-31

 Partecipanti

# participant  country  role  EC contrib. [€] 
1    INSTITUTO DE TELECOMUNICACOES

 Organization address address: AVENIDA DE ROVISCO PAIS 1
city: LISBOA
postcode: 1049-001

contact info
Titolo: Ms.
Nome: Sara
Cognome: Correia
Email: send email
Telefono: 351218000000
Fax: 351218000000

PT (LISBOA) coordinator 71˙400.00
2    TECHNISCHE UNIVERSITAET WIEN

 Organization address address: Karlsplatz 13
city: WIEN
postcode: 1040

contact info
Titolo: Dr.
Nome: Agata
Cognome: Ciabattoni
Email: send email
Telefono: +43158801 18545
Fax: 4315880000000

AT (WIEN) participant 43˙700.00
3    TEL AVIV UNIVERSITY

 Organization address address: RAMAT AVIV
city: TEL AVIV
postcode: 69978

contact info
Titolo: Ms.
Nome: Lea
Cognome: Pais
Email: send email
Telefono: +972 3 6408774
Fax: +972 3 6409697

IL (TEL AVIV) participant 31˙300.00
4    KING'S COLLEGE LONDON

 Organization address address: Strand
city: LONDON
postcode: WC2R 2LS

contact info
Titolo: Mr.
Nome: Paul
Cognome: Labbett
Email: send email
Telefono: +44 20 7848 8184

UK (LONDON) participant 23˙100.00
5    Instytut Podstaw Informatyki Polskiej Akademii Nauk

 Organization address address: UL. JANA KAZIMIERZA 5
city: WARSZAWA
postcode: 01-248

contact info
Titolo: Mr.
Nome: Marek
Cognome: Miszewski
Email: send email
Telefono: +48 223800512
Fax: +48 223800510

PL (WARSZAWA) participant 16˙800.00
6    The Academic College of Tel-Aviv-Yaffo

 Organization address address: Rabenu Yeruham St 2
city: Tel-Aviv
postcode: 61083

contact info
Titolo: Prof.
Nome: Ofer
Cognome: Arieli
Email: send email
Telefono: +972 3 6803395
Fax: +972 3 6803342

IL (Tel-Aviv) participant 10˙500.00
7    INSTITUTUL DE MATEMATICA AL ACADEMI EI ROMANE INSTITUTE OF MATHEMATICS SIMION STOILOW OF THE ROMANIAN ACA DEMY

 Organization address address: Calea Grivitei 21
city: BUCUREST
postcode: 10702

contact info
Titolo: Dr.
Nome: Razvan
Cognome: Diaconescu
Email: send email
Telefono: +40 744 153 703
Fax: +40 21 319 65 05

RO (BUCUREST) participant 8˙400.00
8    UNIVERSIDADE DE AVEIRO

 Organization address address: CAMPO UNIVERSITARIO DE SANTIAGO
city: AVEIRO
postcode: 3810-193

contact info
Titolo: Mr.
Nome: Fernando
Cognome: Ferreira Batista
Email: send email
Telefono: +351 234 370200

PT (AVEIRO) participant 8˙400.00
9    UNIVERSITA DEGLI STUDI DI VERONA

 Organization address address: VIA DELL ARTIGLIERE 8
city: VERONA
postcode: 37129

contact info
Titolo: Mrs.
Nome: Giacomina Anna
Cognome: Bruttomesso
Email: send email
Telefono: +39 045 8027071
Fax: +39 045 8027068

IT (VERONA) participant 8˙400.00

Mappa


 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

metaproperties    logic    poc    theory    constituents    expression    truth    formal    compositionality    logics    functionality    compound    logical    functional   

 Obiettivo del progetto (Objective)

'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.'

Altri progetti dello stesso programma (FP7-PEOPLE)

NANONEUROPROTECTION (2014)

Nanomaterials for treatment of neurodegenerative disorders

Read More  

FAMGENPO (2013)

"Family Politics, Party Politics, and Gender Politics: Comparing Five Cases"

Read More  

IMETI (2008)

Implementation of Membrane Technology to Industry

Read More