NDMANCL
Non-deterministic Matrices and their Applications for Non-classical Logics
| Coordinatore | TECHNISCHE UNIVERSITAET WIEN
Organization address
address: Karlsplatz 13 contact info |
| Nazionalità Coordinatore | Austria [AT] |
| Totale costo | 163˙781 € |
| EC contributo | 163˙781 € |
| Programma | FP7-PEOPLE
Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) |
| Code Call | FP7-PEOPLE-2009-IEF |
| Funding Scheme | MC-IEF |
| Anno di inizio | 2011 |
| Periodo (anno-mese-giorno) | 2011-04-01 - 2013-03-31 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
TECHNISCHE UNIVERSITAET WIEN
Organization address
address: Karlsplatz 13 contact info |
AT (WIEN) | coordinator | 163˙781.20 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
'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.'