PTASNCL

Proof-theoretical and Algebraic Study of Nonclassical Logics

 Coordinatore TECHNISCHE UNIVERSITAET WIEN 

 Organization address address: Karlsplatz 13
city: WIEN
postcode: 1040

contact info
Titolo: Prof.
Nome: Matthias
Cognome: Baaz
Email: send email
Telefono: +43 1 58801 11821
Fax: +43 1 58801 10499

 Nazionalità Coordinatore Austria [AT]
 Totale costo 219˙494 €
 EC contributo 219˙494 €
 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-2007-2-1-IEF
 Funding Scheme MC-IEF
 Anno di inizio 2008
 Periodo (anno-mese-giorno) 2008-07-01   -   2010-06-30

 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: +43 1 58801 11821
Fax: +43 1 58801 10499

AT (WIEN) coordinator 0.00

Mappa

Leaflet | Map data © OpenStreetMap contributors, CC-BY-SA, Imagery © Mapbox

 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

logic    algebraic    substructural    engineering    fuzzy    mathematical    theory    algebra    famous    artificial    game    software    intelligence    logics    science    coding   

 Obiettivo del progetto (Objective)

'Algebraic study of substructural logics is rapidly growing and is one of most attracting research subjects of non-classical logics. The goal is to understand various non-classical logics, like many-valued logics, fuzzy logics, Lambek calculus, linear logic and relevant logics, within a unified view. Main technical tools are algebraic ones, used typically in the study of ordered algebraic structures, universal algebra and algebraic logic, and thus the study aims at developing a new, interdisciplinary field of non-classical logics and algebra. The goal of the proposed research covers the following topics: - Developing a study of interrelations between algebraic methods and proof-theoretic methods in non-classical logics, in order to obtain a deeper understanding of these two disciplines. - A study of mathematical fuzzy logics in relation to substructural logics, based on results and techniques developed recently in the study of substructural logics. - Conversely, extending geometrical approach, developed in mathematical fuzzy logics by the applicant, to substructural logics. The mathematical field to be investigated in this research lays down the foundation of several fields of Information Science, like artificial intelligence and software engineering. For example, the famous logic of Lukasiewicz is in strong connection with the famous Rényi-Ulam game with lies, which topic has turned out to be crucial in non-symmetric coding theory, and has been used to set up a coding protocol between the earth and a satellite. The forth goal of the research is - Application of results on non-classical logics to both game theory and information science, including Artificial Intelligence and Software Engineering.'

Altri progetti dello stesso programma (FP7-PEOPLE)

CREA.DIV (2012)

"When Diversity Helps or Hurts Creative Cognition: Effects of Counter-stereotypicality, Information Processing Motivation, and Regulatory Closure"

Read More  

SOLPROM-SMS (2011)

"Solar Prominences: Stability, Magnetohydrodynamics, and Seismology"

Read More  

DISCANT (2013)

High-energy dissipative soliton dispersion-managed fibre laser based on carbon nanotubes

Read More