Non-deterministic Matrices and their Applications for Non-classical Logics

Informazioni relative al progetto

NDMANCL

ID dell’accordo di sovvenzione: 252314

Progetto concluso

Data di avvio 1 Aprile 2011

Data di completamento 31 Marzo 2013

Finanziato da

• Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)

Costo totale € 163 781,20

Contributo UE € 163 781,20

Coordinato da

TECHNISCHE UNIVERSITAET WIEN
Austria

Obiettivo

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.

Campo scientifico

• natural sciences › mathematics › pure mathematics › discrete mathematics › mathematical logic
• natural sciences › computer and information sciences › artificial intelligence › expert systems
• natural sciences › computer and information sciences › artificial intelligence › computational intelligence

Programma(i)

• FP7-PEOPLE - Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)

Argomento(i)

• FP7-PEOPLE-2009-IEF - Marie Curie Action: "Intra-European Fellowships for Career Development"

Invito a presentare proposte

FP7-PEOPLE-2009-IEF
Vedi altri progetti per questo bando

Meccanismo di finanziamento

MC-IEF - Intra-European Fellowships (IEF)

Coordinatore

TECHNISCHE UNIVERSITAET WIEN

Contatto amministrativo

Matthias Baaz (Prof.)

• Contributo UE: € 163 781,20
• Indirizzo: KARLSPLATZ 13 ; 1040 Wien ; Austria
• Regione: Ostösterreich › Wien › Wien
• Tipo di attività: Higher or Secondary Education Establishments
• Costo totale: Nessun dato