Search results
- 1.0364974 - ÚI 2012 CZ eng K - Conference Paper (Czech conference)
Chvalovský, Karel
Notes on Condensed Detachment.
Doktorandské dny '11. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2011 - (Kuželová, D.; Hakl, F.), s. 35-40. ISBN 978-80-7378-170-5.
[Doktorandské dny 2011 Ústavu informatiky AV ČR, v. v. i. Jizerka (CZ), 05.10.2011-07.10.2011]
Institutional research plan: CEZ:AV0Z10300504
Keywords : propositional logic * Hilbert-style proof systems * the rule of condensed detachment
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0200324File Download Size Commentary Version Access 0364974.pdf 16 151.3 KB Publisher’s postprint open-access - 2.0348224 - ÚI 2011 CZ eng K - Conference Paper (Czech conference)
Chvalovský, Karel
Non-Equivalence of Some Implicational Deduction Theorems.
Doktorandské dny '10. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2010 - (Kuželová, D.; Hakl, F.), s. 49-55. ISBN 978-80-7378-133-0.
[Doktorandské dny 2010 Ústavu informatiky AV ČR, v. v. i. Heřmanice v Podještědí (CZ), 29.09.2010-01.10.2010]
R&D Projects: GA AV ČR IAA900090703; GA ČR GD401/09/H007
Grant - others:GA UK 73109/2009
Institutional research plan: CEZ:AV0Z10300504
Keywords : implicational deduction theorems * contraction-free logics * automated theorem proving
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0188809File Download Size Commentary Version Access 0348224.pdf 15 176.1 KB Publisher’s postprint open-access - 3.0328861 - ÚI 2010 CZ eng K - Conference Paper (Czech conference)
Chvalovský, Karel
Syntactic Approach to Fuzzy Modal Logic in MTL.
Doktorandské dny '09. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2009 - (Kuželová, D.), s. 35-43. ISBN 978-80-7378-087-6.
[Doktorandské dny 2009 Ústavu informatiky AV ČR, v. v. i. Jizerka (CZ), 21.09.2009-23.09.2009]
R&D Projects: GA ČR GEICC/08/E018; GA ČR GD401/09/H007
Grant - others:GA UK project 73109/2009
Institutional research plan: CEZ:AV0Z10300504
Keywords : modal logics * logic MTL * syntactic derivations * automated theorem proving
Permanent Link: http://hdl.handle.net/11104/0175061File Download Size Commentary Version Access 0328861.pdf 17 102.1 KB Publisher’s postprint open-access - 4.0312146 - ÚI 2009 CZ eng K - Conference Paper (Czech conference)
Chvalovský, Karel
On the Independence of Axioms in BL and MTL.
Doktorandské dny '08. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2008 - (Hakl, F.), s. 28-36. ISBN 978-80-7378-054-8.
[Doktorandské dny 2008 Ústavu informatiky AV ČR, v. v. i. Jizerka (CZ), 29.09.2008-01.10.2008]
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : Hilbert-style proof systems * independece of axioms * logic BL * logic MTL * automated theorem proving
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0163283File Download Size Commentary Version Access 0312146.pdf 12 169 KB Publisher’s postprint open-access