Výsledky vyhledávání
- 1.0542368 - ÚI 2024 RIV GB eng J - Článek v odborném periodiku
Přenosil, Adam
The Lattice of Super-Belnap Logics.
Review of Symbolic Logic. Roč. 16, č. 1 (2023), s. 114-163. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: Belnap-Dunn logic * Kleene logic * Logic of Paradox * four-valued logic * paraconsistent logic * abstract algebraic logic
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S1755020321000204
Trvalý link: http://hdl.handle.net/11104/0319795 - 2.0525502 - MÚ 2021 RIV US eng J - Článek v odborném periodiku
Gavinsky, Dmitry
Entangled simultaneity versus classical interactivity in communication complexity.
IEEE Transactions on Information Theory. Roč. 66, č. 7 (2020), s. 4641-4651. ISSN 0018-9448. E-ISSN 1557-9654
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: communication complexity * quantum communication * quantum computing
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 2.501, rok: 2020
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1109/TIT.2020.2976074
Trvalý link: http://hdl.handle.net/11104/0309618Název souboru Staženo Velikost Komentář Verze Přístup Gavinsky1.pdf 2 450.9 KB Vydavatelský postprint vyžádat - 3.0524146 - MÚ 2021 RIV SG eng J - Článek v odborném periodiku
Jeřábek, Emil
Recursive functions and existentially closed structures.
Journal of Mathematical Logic. Roč. 20, č. 1 (2020), č. článku 2050002. ISSN 0219-0613. E-ISSN 1793-6691
Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: classification theory * relative interpretation * representability of recursive functions
Obor OECD: Pure mathematics
Impakt faktor: 0.840, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1142/S0219061320500026
Trvalý link: http://hdl.handle.net/11104/0308510Název souboru Staženo Velikost Komentář Verze Přístup Jerabek1.pdf 1 753.9 KB Vydavatelský postprint vyžádat - 4.0523723 - ÚI 2021 RIV GB eng J - Článek v odborném periodiku
Klimošová, T. - Piguet, Diana - Rozhoň, Václav
A version of the Loebl–Komlós–Sós Conjecture for Skew Trees.
European Journal of Combinatorics. Roč. 88, August 2020 (2020), č. článku 103106. ISSN 0195-6698. E-ISSN 1095-9971
Grant CEP: GA ČR GBP202/12/G061; GA ČR GJ16-07822Y
Institucionální podpora: RVO:67985807
Klíčová slova: tree * embedding * extremal graph theory * Loebl-Komlós-Sós conjecture
Obor OECD: Pure mathematics
Impakt faktor: 0.847, rok: 2020
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.ejc.2020.103106
Trvalý link: http://hdl.handle.net/11104/0308027 - 5.0523579 - MÚ 2021 RIV DE eng J - Článek v odborném periodiku
Jeřábek, Emil
Induction rules in bounded arithmetic.
Archive for Mathematical Logic. Roč. 59, č. 3-4 (2020), s. 461-501. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: bounded arithmetic * parameter-free induction
Obor OECD: Pure mathematics
Impakt faktor: 0.287, rok: 2020
Způsob publikování: Omezený přístup
https://link.springer.com/article/10.1007%2Fs00153-019-00702-w
Trvalý link: http://hdl.handle.net/11104/0307919Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 2 646.7 KB Vydavatelský postprint vyžádat - 6.0503852 - ÚI 2020 RIV NL eng J - Článek v odborném periodiku
Moraschini, Tommaso
On the complexity of the Leibniz hierarchy.
Annals of Pure and Applied Logic. Roč. 170, č. 7 (2019), s. 805-824. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR GBP202/12/G061; GA MŠMT(CZ) EF17_050/0008361
Institucionální podpora: RVO:67985807
Klíčová slova: Abstract algebraic logic * Leibniz hierarchy * Algebraizable logic * Protoalgebraic logic * Complexity theory
Obor OECD: Pure mathematics
Impakt faktor: 0.752, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.apal.2019.02.003
Trvalý link: http://hdl.handle.net/11104/0295627Název souboru Staženo Velikost Komentář Verze Přístup a0503852.pdf 9 450.9 KB Vydavatelský postprint vyžádat - 7.0503661 - ÚI 2020 RIV DE eng J - Článek v odborném periodiku
Haniková, Zuzana
Implicit Definability of Truth Constants in Łukasiewicz Logic.
Soft Computing. Roč. 23, č. 7 (2019), s. 2279-2287. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: propositional logic * fuzzy logic * Łukasiewicz Logic * rational truth constants * implicit definability * computational complexity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 3.050, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s00500-018-3461-x
Trvalý link: http://hdl.handle.net/11104/0295472 - 8.0501907 - ÚI 2020 RIV GB eng J - Článek v odborném periodiku
Cintula, Petr - Gil-Férez, J. - Moraschini, Tommaso - Paoli, F.
An Abstract Approach to Consequence Relations.
Review of Symbolic Logic. Roč. 12, č. 2 (2019), s. 331-371. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR GBP202/12/G061
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: structural consequence relation * multisets * deductive relations * Hilbert systems * abstract algebraic logic * category theory * non-contraction
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.750, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S175502031900008X
Trvalý link: http://hdl.handle.net/11104/0293884Název souboru Staženo Velikost Komentář Verze Přístup 0501907-a.pdf 15 415.5 KB Vydavatelský postprint vyžádat 0501907-pre2.pdf 7 608.6 KB Autorský preprint povolen - 9.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 - 10.0500501 - ÚI 2019 RIV US eng J - Článek v odborném periodiku
Klavík, P. - Saumell, Maria
Minimal Obstructions for Partial Representations of Interval Graphs.
Electronic Journal of Combinatorics. Roč. 25, č. 4 (2018), č. článku P4.55. ISSN 1077-8926. E-ISSN 1077-8926
Grant CEP: GA ČR GJ16-07822Y; GA ČR GBP202/12/G061
Grant ostatní: GA MŠk(CZ) LO1506; GA MŠk(CZ) EE2.3.30.0038
Institucionální podpora: RVO:67985807
Klíčová slova: Interval graphs * Partial representation extension * PQ-trees * Certifying algorithm
Obor OECD: Pure mathematics
Impakt faktor: 0.762, rok: 2018
https://www.combinatorics.org/ojs/index.php/eljc/article/view/v25i4p55
Trvalý link: http://hdl.handle.net/11104/0292562Název souboru Staženo Velikost Komentář Verze Přístup 0500501a-cc.pdf 6 371.7 KB CC BY-ND Vydavatelský postprint povolen