Objectif Non-deterministic multi-valued matrices (Nmatrices) are a new field of research rapidly developing towards a foundational logical theory. The idea of Nmatrices is in extending the usual algebraic deterministic semantics of logical systems by importing the idea of non-deterministic computations from Computer Science, and allowing the truth-value of a formula to be chosen non-deterministically out of a given set of options. The goal of the proposed project is to extensively develop the semantic framework which is provided by the idea of Nmatrices. This includes developing a foundational methodology for providing modular non-deterministic semantics for non-classical logics, and exploring its applications in the following directions: - Proof Theory: using Nmatrices to characterize cut-elimination and other important syntactic phenomena in various analytic calculi, including substructural calculi and hypersequents. - Automated Deduction: automatizing deduction in non-deterministic logics by extending the multi-valued expert system MULtlog, developed by the host group. - Approximating Logics: investigating effective approximations of logics using finite multi-valued Nmatrices. - Non-deterministic Fuzzy Logic: developing new non-deterministic foundations for fuzzy logics based on Nmatrices and exploring their applications. Champ scientifique natural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical logicnatural sciencescomputer and information sciencesartificial intelligenceexpert systemsnatural sciencescomputer and information sciencesartificial intelligencecomputational intelligence Programme(s) FP7-PEOPLE - Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) Thème(s) FP7-PEOPLE-2009-IEF - Marie Curie Action: "Intra-European Fellowships for Career Development" Appel à propositions FP7-PEOPLE-2009-IEF Voir d’autres projets de cet appel Régime de financement MC-IEF - Intra-European Fellowships (IEF) Coordinateur TECHNISCHE UNIVERSITAET WIEN Contribution de l’UE € 163 781,20 Adresse KARLSPLATZ 13 1040 Wien Autriche Voir sur la carte Région Ostösterreich Wien Wien Type d’activité Higher or Secondary Education Establishments Contact administratif Matthias Baaz (Prof.) Liens Contacter l’organisation Opens in new window Site web Opens in new window Coût total Aucune donnée
