Obiettivo
This project aims at a thorough mathematical connection of descriptive properties of the reals with semantic properties of Godel logics. If we want to discuss logical descriptions of descriptive, i.e. topological and order theoretic, properties, an adequate logic has to be determined by the order structure of the underlying truth value set, and should not depend on quantitative properties. With other words, validity should be invariant with respect to adequate classes of non-trivial isomorphism. The most relevant many-valued logics of this kind are the Godel logics. We will determine to which extent the language of Godel logics is able to represent structural properties of the reals, thus characterizing the expressive power of Godel logics. On the other hand we want to find properties of the reals which provide suitable classifications, i.e. intentional definitions of Godel logics.The expressive power of a logic, i.e. the range of properties representable within the logic, is of great importance as soon as these logics should be put to use. It defines the limits of what can be achieved and what problems can be formulated. For some formalizations of Godel logics (propositional, quantified propositional and w.r.t. propositional entailment) this question has been settled, but for the most important formalization, the first-order Godel logics, results are still scarce, but suggest that an extension of the Cantor-Bendixson Theorem may serve as main method to obtain a characterization of expressiveness. (The original variant of the Cantor-Bendixson Theorem has been successfully applied by the applicant to characterize the recursive enumerability of first-order Godel logics.) An extended Cantor-Bendixson algorithm, which connects the topological analysis with order properties, will also allow providing a complete classification of Godel logics, i.e. as we try to find a characterization of Godel logics in the language of descriptive properties of the reals.
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
FP6-2002-MOBILITY-5
Vedi altri progetti per questo bando
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Coordinatore
SIENA
Italia
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.