Cel 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. Dziedzina nauki natural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical logicnatural sciencescomputer and information sciencesartificial intelligenceexpert systemsnatural sciencescomputer and information sciencesartificial intelligencecomputational intelligence Program(-y) FP7-PEOPLE - Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) Temat(-y) FP7-PEOPLE-2009-IEF - Marie Curie Action: "Intra-European Fellowships for Career Development" Zaproszenie do składania wniosków FP7-PEOPLE-2009-IEF Zobacz inne projekty w ramach tego zaproszenia System finansowania MC-IEF - Intra-European Fellowships (IEF) Koordynator TECHNISCHE UNIVERSITAET WIEN Wkład UE € 163 781,20 Adres KARLSPLATZ 13 1040 Wien Austria Zobacz na mapie Region Ostösterreich Wien Wien Rodzaj działalności Higher or Secondary Education Establishments Kontakt administracyjny Matthias Baaz (Prof.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych