Ústav teorie informace a automatizace

Jste zde

Neklasické výrokové a predikátové logiky: přístup založený na uspořádání

Agentura: 
GACR
Identifikační číslo: 
GA13-14654S
Zahájení: 
01.02.2013
Ukončení: 
31.12.2016
Typ projektu (EU): 
other
Abstrakt: 
Formální systémy (ne)klasických logic jsou zásádní pro mnohé oblasti informatiky. Jsou ceněny pro svou deduktivní povahu, universalitu, přenositelnost a široké možnosti, které plynou z jejich precizních matematických základů. Jednotný přístup založený na teorii abstraktní algebracké logiky hluboce přispívá ke studiu této široké rodiny logických systémů. Účelem projektu je vytvořit variantu této teorie založenou na pojmu uspořádané sémantiky a jejím vztahu k spojce implikace. Budeme usilovat o vytvoření silnější, lépe aplikovatelné abstraktní teorie jak pro výrokové tak i pro predikátové logiky. Dále plánujeme demostrovat sílu této teorie na dvou důležitých třídách neklasických logik a to na substrukturálních a fuzzy logikách.
Publikace ÚTIA: 
seznam
21.01.2014 - 12:40