Počet záznamů: 1
Note on Deduction Theorems in Contraction-Free Logics
- 1.0391888 - ÚI 2014 GB eng A - Abstrakt
Chvalovský, Karel - Cintula, Petr
Note on Deduction Theorems in Contraction-Free Logics.
LPAR-17-short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. University of Manchester: EasyChair Conference System, 2013 - (Voronkov, A.; Sutcliffe, G.; Baaz, M.; Fermüller, C.). s. 26-29. ISSN 2040-557X.
[LPAR 2010. International Conference on Logic for Programming, Artificial intelligence, and Reasoning /17./. 10.10.2010-15.10.2010, Yogyakarta]
Grant CEP: GA ČR GAP202/10/1826; GA ČR GD401/09/H007; GA AV ČR IAA900090703
Grant ostatní: GA UK 73109/2009
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Local Deduction Theorem * BCI-logic * Substructural logics * Rule of contraction
Kód oboru RIV: BA - Obecná matematika
http://www.easychair.org/publications/?page=1414404771
Trvalý link: http://hdl.handle.net/11104/0220860
Název souboru Staženo Velikost Komentář Verze Přístup a0391888.pdf 2 293 KB Vydavatelský postprint vyžádat 0391888.pdf 2 811.3 KB Autorský preprint povolen
Počet záznamů: 1