Název: On the Independence of Axioms in BL and MTL
Autoři: Chvalovský, Karel
Typ dokumentu: Příspěvky z konference
Konference/Akce: Doktorandské dny 2008 Ústavu informatiky AV ČR, v. v. i., Jizerka (CZ), 2008-09-29 / 2008-10-01
Rok: 2008
Jazyk: eng
Klíčová slova: automated theorem proving; Hilbert-style proof systems; independece of axioms; logic BL; logic MTL
Číslo projektu: CEZ:AV0Z10300504 (CEP), GEICC/08/E018 (CEP)
Poskytovatel projektu: GA ČR
Zdrojový dokument: Doktorandské dny '08, ISBN 978-80-7378-054-8
Práva: Dílo je chráněno podle autorského zákona č. 121/2000 Sb.

Instituce: Ústav informatiky AV ČR (web)
Původní záznam: http://hdl.handle.net/11104/0163283

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-39084


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Ústav informatiky
Konferenční materiály > Příspěvky z konference