Vytisknout
0338517 - ÚI 2010 SK eng A - Abstrakt
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]
Grant CEP: GA ČR GEICC/08/E018; GA ČR GD401/09/H007
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Hilbert-style proof systems * independence of axioms * logic BL * logic MTL * automated theorem proving
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0182267
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]
Grant CEP: GA ČR GEICC/08/E018; GA ČR GD401/09/H007
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Hilbert-style proof systems * independence of axioms * logic BL * logic MTL * automated theorem proving
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0182267