Proof-theoretical and Algebraic Study of Nonclassical Logics

Informacje na temat projektu

PTASNCL

Identyfikator umowy o grant: 219376

Projekt został zamknięty

Data rozpoczęcia 1 Lipca 2008

Data zakończenia 30 Czerwca 2010

Finansowanie w ramach

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

Koszt całkowity € 219 494,68

Wkład UE € 219 494,68

Koordynowany przez

TECHNISCHE UNIVERSITAET WIEN
Austria

Cel

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.

Dziedzina nauki

• natural sciences › computer and information sciences › software
• engineering and technology › mechanical engineering › vehicle engineering › aerospace engineering › satellite technology
• natural sciences › mathematics › pure mathematics › algebra
• natural sciences › mathematics › applied mathematics › game theory
• natural sciences › computer and information sciences › artificial intelligence › computational intelligence

Słowa kluczowe

• Algebra
• Algebraizable logics
• Mathematical logic
• Mathematics
• Non-classical logics
• Substructural logics

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)

• PEOPLE-2007-2-1.IEF - Marie Curie Action: "Intra-European Fellowships for Career Development"

Zaproszenie do składania wniosków

FP7-PEOPLE-2007-2-1-IEF
Zobacz inne projekty w ramach tego zaproszenia

System finansowania

MC-IEF - Intra-European Fellowships (IEF)

Koordynator

TECHNISCHE UNIVERSITAET WIEN

• Wkład UE: € 219 494,68
• Adres: KARLSPLATZ 13 ; 1040 Wien ; Austria
• Region: Ostösterreich › Wien › Wien
• Rodzaj działalności: Higher or Secondary Education Establishments
• Kontakt administracyjny: Matthias Baaz (Prof.)
• Koszt całkowity: Brak danych