Number of the records: 1
On the Independence of Axioms in BL and MTL
- 1.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/0163283
File Download Size Commentary Version Access 0312146.pdf 12 169 KB Publisher’s postprint open-access
Number of the records: 1