NDMANCL

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

Coordinatore	TECHNISCHE UNIVERSITAET WIEN    more  Organization address address: Karlsplatz 13 city: WIEN postcode: 1040 contact info Titolo: Prof. Nome: Matthias Cognome: Baaz Email: send email Telefono: -5880111779 Fax: -5863346
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

#	participant	country	role	EC contrib. [€]
1	TECHNISCHE UNIVERSITAET WIEN  Organization address address: Karlsplatz 13 city: WIEN postcode: 1040 contact info Titolo: Prof. Nome: Matthias Cognome: Baaz Email: send email Telefono: -5880111779 Fax: -5863346	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.'