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

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 17 (SGA0201300005)

Hlavní účastníci

Ústav teorie informace a automatizace AV ČR, v. v. i.

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

13-14654S

Název projektu anglicky

An Order-Based Approach to Non-Classical Propositional and Predicate Logics

Anotace anglicky

Formal systems of (non-)classical logics are essential in many areas of computer science. Their appreciation is due to their deductive nature, universality and portability, and the power they gain from their rigorous mathematical background. Such a diverse landscape of logical systems has greatly benefited from a unified approach offered by Abstract Algebraic Logic. The purpose of this project is to develop a variant of this theory, based on the notion of ordered semantics and its interplay with implication connective. We aim at a stronger, better applicable abstract theory for both propositional and predicate logics. As a showcase, we plan to illustrate the power of the resulting theory on two important families of non-classical logics: substructural and fuzzy ones.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

IN - Informatika

CEP - vedlejší obor

BA - Obecná matematika

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10101 - Pure mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

V rámci projektu bylo dosaženo významných výsledků v oblasti matematické logiky, cíle projektu se podařilo naplnit. Většinu publikačních výstupů projektu lze po stránce jejich kvality hodnotit jako vynikající. Vzhledem k tomu, že jde o čtyřletý projekt dvou spolupracujících institucí, je počet uznatelných výsledků (skutečně publikovaných během řešení projektu) poměrně nízký.

Zahájení řešení

1. 2. 2013

Ukončení řešení

23. 4. 2018

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

5. 4. 2016

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP19-GA0-GA-U/11:1

Datum dodání záznamu

8. 6. 2021

Celkové uznané náklady

4 570 tis. Kč

Výše podpory ze státního rozpočtu

4 570 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč