Vytisknout
0422069 - ÚI 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Metcalfe, G.
Herbrand Theorems for Substructural Logics.
Logic for Programming, Artificial Intelligence, and Reasoning. Berlin: Springer, 2013 - (McMillan, K.; Middeldorp, A.; Voronkov, A.), s. 584-600. Lecture Notes in Computer Science, Advanced Research in Computing and Software Science, 8312. ISBN 978-3-642-45221-5. ISSN 0302-9743.
[LPAR-19. International Conference /19./. Stellenbosch (ZA), 14.12.2013-19.12.2013]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * residuated lattices * Herbrand theorem * Skolemization * predicate logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0228284
Cintula, Petr - Metcalfe, G.
Herbrand Theorems for Substructural Logics.
Logic for Programming, Artificial Intelligence, and Reasoning. Berlin: Springer, 2013 - (McMillan, K.; Middeldorp, A.; Voronkov, A.), s. 584-600. Lecture Notes in Computer Science, Advanced Research in Computing and Software Science, 8312. ISBN 978-3-642-45221-5. ISSN 0302-9743.
[LPAR-19. International Conference /19./. Stellenbosch (ZA), 14.12.2013-19.12.2013]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * residuated lattices * Herbrand theorem * Skolemization * predicate logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0228284