Search results
- 1.0446016 - ÚI 2016 IT eng A - Abstract
Chvalovský, Karel - Horčík, Rostislav
Full Lambek Calculus with contraction is undecidable.
Topology, Algebra and Categories in Logic. Booklet of Abstracts. University of Salerno, 2015. s. 49-50.
[TACL 2015. Topology, Algebra and Categories in Logic. 21.06.2015-26.06.2015, Ischia]
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0248515File Download Size Commentary Version Access a0446016.pdf 0 307.6 KB Publisher’s postprint open-access - 2.0439018 - ÚI 2015 IT eng A - Abstract
Horčík, Rostislav - Chvalovský, Karel
Full Lambek Calculus with Contraction is Undecidable.
Beyond True and False: Logic, Algebra and Topology. Schedule and Abstracts. 2014. s. 13-13.
[Beyond True and False: Logic, Algebra and Topology. 03.12.2014-05.12.2014, Florence]
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0242336File Download Size Commentary Version Access a0439018.pdf 0 322.8 KB Publisher’s postprint open-access - 3.0431686 - ÚI 2015 AT eng A - Abstract
Chvalovský, Karel
Undecidability of consequence relation in Full Non-associative Lambek Calculus.
Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 153-154
[LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0236272File Download Size Commentary Version Access a0431686.pdf 0 308 KB Publisher’s postprint open-access - 4.0391888 - ÚI 2014 GB eng A - Abstract
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]
R&D Projects: GA ČR GAP202/10/1826; GA ČR GD401/09/H007; GA AV ČR IAA900090703
Grant - others:GA UK 73109/2009
Institutional research plan: CEZ:AV0Z10300504
Keywords : Local Deduction Theorem * BCI-logic * Substructural logics * Rule of contraction
Subject RIV: BA - General Mathematics
http://www.easychair.org/publications/?page=1414404771
Permanent Link: http://hdl.handle.net/11104/0220860File Download Size Commentary Version Access a0391888.pdf 2 293 KB Publisher’s postprint require 0391888.pdf 2 811.3 KB Author´s preprint open-access - 5.0380881 - ÚI 2013 CZ eng A - Abstract
Chvalovský, Karel
Linearization of Proofs in Propositional Hilbert Systems.
Doktorandské dny '12. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2012 - (Kuželová, D.; Hakl, F.). s. 21-21. ISBN 978-80-7278-217-7.
[Doktorandské dny 2012 Ústavu informatiky AV ČR, v. v. i. 24.09.2012-26.09.2012, Jizerka]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : Hilbert proof systems * linearization of proofs * propositional logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0211483File Download Size Commentary Version Access 0380881.pdf 1 151.7 KB Publisher’s postprint open-access - 6.0379800 - ÚI 2013 GB eng A - Abstract
Chvalovský, Karel
Linearization of Proofs in Propositional Hilbert Systems.
How the World Computes. Abstracts. University of Cambridge, 2012. s. 26.
[CiE 2012. Turing Centerary Conference and Conference on Computability in Europe /8./. 18.06.2012-23.06.2012, Cambridge]
Institutional support: RVO:67985807
Keywords : Hilbert-style proof systems * propositional logic * linear proofs
Subject RIV: BA - General Mathematics
http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/Images/abstracts-booklet.pdf
Permanent Link: http://hdl.handle.net/11104/0210674 - 7.0346961 - ÚI 2011 CZ eng A - Abstract
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]
R&D Projects: GA ČR GAP202/10/1826; GA ČR GD401/09/H007
Grant - others:GA UK 73109/2009
Institutional research plan: CEZ:AV0Z10300504
Keywords : provability * non-classical logics * automated theorem proving
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0187850 - 8.0338517 - ÚI 2010 SK eng A - Abstract
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]
R&D Projects: GA ČR GEICC/08/E018; GA ČR GD401/09/H007
Institutional research plan: CEZ:AV0Z10300504
Keywords : Hilbert-style proof systems * independence of axioms * logic BL * logic MTL * automated theorem proving
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0182267 - 9.0328399 - ÚI 2010 DE eng A - Abstract
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]
R&D Projects: GA ČR GD401/09/H007
Institutional research plan: CEZ:AV0Z10300504
Keywords : rewriting systems * derivational complexity * upper bounds
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0174723 - 10.0328397 - ÚI 2010 DE eng A - Abstract
Chvalovský, Karel
Independence of Axioms in Non-Classical Logics and ATP.
Mathematical Theory and Computational Practice. Abstract Booklet. Heidelberg: University of Heidelberg, 2009 - (Ambos-Spies, K.; Löwe, B.; Merkle, W.). s. 324-324
[CiE 2009. Conference on Computability in Europe /5./. 19.07.2009-24.07.2009, Heidelberg]
Institutional research plan: CEZ:AV0Z10300504
Keywords : Hilbert-style proof systems * independence of axioms * non-classical logics * automated theorem proving
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0174722