Search results
- 1.0369935 - ÚI 2012 CH eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z10300504
Keywords : substructural logics * disjunction property * computational complexity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0203879 - 2.0368496 - ÚI 2012 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GAP202/10/1826; GA MŠMT ME09110
Institutional research plan: CEZ:AV0Z10300504
Keywords : substructural logics * disjunction property * computational complexity
Subject RIV: BA - General Mathematics
Impact factor: 0.665, year: 2011
Permanent Link: http://hdl.handle.net/11104/0202825File Download Size Commentary Version Access 0368496.pdf 0 642.3 KB Author´s preprint open-access - 3.0343228 - ÚI 2011 PT eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z10300504
Keywords : disjunction property * substructural logic * computational complexity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0185751 - 4.0328480 - ÚI 2010 US eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z10300504
Keywords : disjunction property * full Lambek calculus with exchange and weakening * computational complexity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0174786 - 5.0089500 - ÚI 2008 CZ eng V - Research Report
Bílková, Marta
Feasible Disjunction Property and Feasible Interpolation in Modal Logic.
Prague: ITI Charles University, 2007. 15 s. ITI Series, 2007-341.
R&D Projects: GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : interpolation * modal logic * disjunction property * feasible interpolation
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0150695