Ziel
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.
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
FP6-2002-MOBILITY-5
Andere Projekte für diesen Aufruf anzeigen
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Koordinator
SIENA
Italien
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.