Algebraické metody v teorii důkazů
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 14 (SGA02011GA-ST)
Hlavní účastníci
České vysoké učení technické v Praze / Fakulta elektrotechnická<br>Ústav informatiky AV ČR, v. v. i.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
P202-11-1632
Alternativní jazyk
Název projektu anglicky
Algebraic Methods in Proof Theory
Anotace anglicky
It is a recent trend in proof theory in non-classical logic to employ more algebraic methods and to develop the so-called algebraic proof theory. A typical example of a result in this direction is proving cut elimination in the same way that closedness w.r.t. Dedekind-MacNeille completion is proved in algebra. Other results in this direction show that current proof theory, based on Gentzen sequent calculi, works only for logics with structural axioms of low complexity. Our project aims at generalizing the current methods and thus widening the applicability of (generalized) Gentzen calculi. A related target is a study of computational complexity of nonclassical logics.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
IN - Informatika
CEP - vedlejší obor
—
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>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Dosaženo mnoha solidních nových výsledků v oblasti substrukturálních logik, publikovaných na přísl. fórech nejvyšší světové úrovně. Vykázané výsledky projektu (po započtení 3 přijatých časopiseckých článků) jsou adekvátní rozsahu projektu a počtu pracovníků. Projekt posunul poznání v oblasti logiky v informatice. Závažné nedostatky v dodržování pravidel ani v čerpání prostředků nebyly shledány.
Termíny řešení
Zahájení řešení
1. 1. 2011
Ukončení řešení
31. 12. 2015
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
10. 4. 2015
Dodání dat do CEP
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
CEP16-GA0-GA-U/01:1
Datum dodání záznamu
25. 9. 2017
Finance
Celkové uznané náklady
5 771 tis. Kč
Výše podpory ze státního rozpočtu
5 771 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč