Výsledky vyhledávání
- 1.0501613 - ÚI 2020 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Diaconescu, D. - Metcalfe, G.
Skolemization and Herbrand theorems for lattice-valued logics.
Theoretical Computer Science. Roč. 768, 10 May (2019), s. 54-75. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GBP202/12/G061
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: Skolemization * Herbrand theorems * Non-classical logics * Lattices
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.747, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.tcs.2019.02.007
Trvalý link: http://hdl.handle.net/11104/0293600Název souboru Staženo Velikost Komentář Verze Přístup a0501613.pdf 16 520.2 KB Vydavatelský postprint vyžádat 0501613-prep.pdf 9 254.4 KB https://www.elsevier.com/journals/theoretical-computer-science/03043975/guide-for-authors Autorský preprint povolen - 2.0458859 - ÚI 2017 AT eng A - Abstrakt
Cintula, Petr - Diaconescu, D. - Metcalfe, G.
Parallel Skolemization in Substructurel Logics.
Algebra and Coalgebra meet Proof Theory. Booklet of Abstracts. Vienna: Technische Universität, 2016. nestr.
[ALCOP VII. Algebra and Coalgebra Meet Proof Theory. 07.04.2016-09.04.2016, Vienna]
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * first-order logic * Skolemization * witnessed model property
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0259082Název souboru Staženo Velikost Komentář Verze Přístup a0458859.pdf 0 3.8 MB Vydavatelský postprint povolen - 3.0448462 - ÚI 2016 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Diaconescu, D. - Metcalfe, G.
Skolemization for Substructural Logics.
Logic for Programming, Artificial Intelligence, and Reasoning. Berlin: Springer, 2015 - (Davis, M.; Fehnker, A.; McIver, A.; Voronkov, A.), s. 1-15. Lecture Notes in Computer Science, 9450. ISBN 978-3-662-48898-0. ISSN 0302-9743.
[LPAR-20. International Conference /20./. Suva (JP), 24.11.2015-28.11.2015]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * first-order logic * Skolemization * witnessed model property
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0250157Název souboru Staženo Velikost Komentář Verze Přístup a0448462.pdf 1 310.3 KB Vydavatelský postprint vyžádat 0448462.pdf 15 835.7 KB GSp Autorský preprint povolen - 4.0427493 - ÚI 2015 AT eng A - Abstrakt
Cintula, Petr - Metcalfe, G.
Skolem and Herbrand theorems for uninorm-based fuzzy logics.
Graded Logical Approaches and Their Applications. Linz: Johannes Kepler Universität, 2014 - (Flaminio, T.; Godo, L.; Gottwald, S.; Klement, E.). s. 29-33
[Linz Seminar on Fuzzy Set Theory /35./. 18.02.2014-22.02.2014, Linz]
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/0233023Název souboru Staženo Velikost Komentář Verze Přístup a0427493.pdf 1 97 KB Vydavatelský postprint povolen - 5.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/0228284Název souboru Staženo Velikost Komentář Verze Přístup a0422069.pdf 0 292.6 KB Vydavatelský postprint vyžádat 0422069.pdf 7 795.9 KB Autorský preprint povolen