Výsledky vyhledávání
- 1.0369935 - ÚI 2012 CH eng A - Abstrakt
Horčík, Rostislav
An algebraic proof of the disjunction property.
Algebra and Coalgebra meet Proof Theory. Universität Bern, 2011. s. 6-6.
[Algebra and Coalgebra meet Proof Theory. 27.04.2011-29.04.2011, Bern]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: substructural logics * disjunction property * computational complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0203879 - 2.0368496 - ÚI 2012 RIV NL eng J - Článek v odborném periodiku
Horčík, Rostislav - Terui, K.
Disjunction Property and Complexity of Substructural Logics.
Theoretical Computer Science. Roč. 412, č. 31 (2011), s. 3992-4006. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GAP202/10/1826; GA MŠMT ME09110
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: substructural logics * disjunction property * computational complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.665, rok: 2011
Trvalý link: http://hdl.handle.net/11104/0202825Název souboru Staženo Velikost Komentář Verze Přístup 0368496.pdf 0 642.3 KB Autorský preprint povolen - 3.0343228 - ÚI 2011 PT eng A - Abstrakt
Horčík, Rostislav
Disjunction Property and Complexity of Structural Logics.
UNILOG 2010. Book of Abstracts. Lisbon: Instituto Superior Técnico - Departemanto de Matemática, 2010 - (Béziau, J.; Caleiro, C.; Costa-Leite, A.; Ramos, J.). s. 52-52. ISBN 978-972-99289-2-5.
[UniLog 2010. World Congress and School on Universal Logic /3./. 18.04.2010-25.04.2010, Monte Estoril]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: disjunction property * substructural logic * computational complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0185751 - 4.0328480 - ÚI 2010 US eng A - Abstrakt
Horčík, Rostislav
Full Lambek Calculus with Exchange and Weakening is PSPACE-omplete.
BLAST 2009. Las Cruses: New Mexico State University, 2009. s. 26-26.
[BLAST 2009. 10.08.2009-14.08.2009, Las Cruces]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: disjunction property * full Lambek calculus with exchange and weakening * computational complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0174786 - 5.0089500 - ÚI 2008 CZ eng V - Výzkumná zpráva
Bílková, Marta
Feasible Disjunction Property and Feasible Interpolation in Modal Logic.
Prague: ITI Charles University, 2007. 15 s. ITI Series, 2007-341.
Grant CEP: GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: interpolation * modal logic * disjunction property * feasible interpolation
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0150695