Výsledky vyhledávání
- 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/0220860Ná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 - 2.0346961 - ÚI 2011 CZ eng A - Abstrakt
Chvalovský, Karel
Provability in Hilbert-Style Calculi for Non-Classical Logics and ATP.
Young Research Forum. Brno, 2010 - (Strejček, J.). s. 11-11. ISBN 978-80-87342-09-1.
[MFCS & CSL 2010. Young Research Forum. 21.08.2010-22.08.2010, Brno]
Grant CEP: GA ČR GAP202/10/1826; GA ČR GD401/09/H007
Grant ostatní: GA UK 73109/2009
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: provability * non-classical logics * automated theorem proving
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0187850 - 3.0338517 - ÚI 2010 SK eng A - Abstrakt
Chvalovský, Karel
Independence of Axioms in Non-classical Logics and Automated Theorem proving.
Tenth International Conference on Fuzzy Sets Theory and Applications. Liptovský Mikuláš: Armed Forces Academy of General Milan Rastislav Štefánik, 2010 - (Klement, P.; Mesiar, R.; Struk, P.; Drobná, E.). s. 45-45. ISBN 978-80-8040-391-1.
[FSTA 2010 /10./. 01.02.2010-05.02.2010, Liptovský Ján]
Grant CEP: GA ČR GEICC/08/E018; GA ČR GD401/09/H007
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Hilbert-style proof systems * independence of axioms * logic BL * logic MTL * automated theorem proving
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0182267 - 4.0328399 - ÚI 2010 DE eng A - Abstrakt
Chvalovský, Karel
Derivational complexity of {aa-->bc, bb-->ac, cc-->ab}.
10th International Workshop on Termination WST 2009. Leipzig: HTWK, 2009 - (Geser, A.; Waldmann, J.). s. 28-30
[WST 2009. International Workshop on Termination /10./. 03.06.2009-05.06.2009, Leipzig]
Grant CEP: GA ČR GD401/09/H007
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: rewriting systems * derivational complexity * upper bounds
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0174723 - 5.0328127 - ÚI 2010 CZ eng A - Abstrakt
Petrík, Milan - Sarkoci, P.
Differential properties of strict triangular norms along zero.
ISCAMI 2009. Ostrava: Universitas Ostraviensis, 2009. s. 18-18.
[ISCAMI 2009. 13.05.2009-15.05.2009, Malenovice]
Grant CEP: GA ČR GD401/09/H007
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: strict triangular norm * multiplicative generator * associative function
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0174518