Objectif
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.
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
FP6-2002-MOBILITY-5
Voir d’autres projets de cet appel
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Coordinateur
SIENA
Italie
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.