Objetivo 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. Ámbito científico natural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical logicnatural sciencescomputer and information sciencesartificial intelligenceexpert systemsnatural sciencescomputer and information sciencesartificial intelligencecomputational intelligence Programa(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) Tema(s) FP7-PEOPLE-2009-IEF - Marie Curie Action: "Intra-European Fellowships for Career Development" Convocatoria de propuestas FP7-PEOPLE-2009-IEF Consulte otros proyectos de esta convocatoria Régimen de financiación MC-IEF - Intra-European Fellowships (IEF) Coordinador TECHNISCHE UNIVERSITAET WIEN Aportación de la UE € 163 781,20 Dirección KARLSPLATZ 13 1040 Wien Austria Ver en el mapa Región Ostösterreich Wien Wien Tipo de actividad Higher or Secondary Education Establishments Contacto administrativo Matthias Baaz (Prof.) Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Coste total Sin datos