Search results
- 1.0542368 - ÚI 2024 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : Belnap-Dunn logic * Kleene logic * Logic of Paradox * four-valued logic * paraconsistent logic * abstract algebraic logic
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
http://dx.doi.org/10.1017/S1755020321000204
Permanent Link: http://hdl.handle.net/11104/0319795 - 2.0525502 - MÚ 2021 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985840
Keywords : communication complexity * quantum communication * quantum computing
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 2.501, year: 2020
Method of publishing: Limited access
http://dx.doi.org/10.1109/TIT.2020.2976074
Permanent Link: http://hdl.handle.net/11104/0309618File Download Size Commentary Version Access Gavinsky1.pdf 2 450.9 KB Publisher’s postprint require - 3.0524146 - MÚ 2021 RIV SG eng J - Journal Article
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
R&D Projects: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
Institutional support: RVO:67985840
Keywords : classification theory * relative interpretation * representability of recursive functions
OECD category: Pure mathematics
Impact factor: 0.840, year: 2020
Method of publishing: Limited access
https://doi.org/10.1142/S0219061320500026
Permanent Link: http://hdl.handle.net/11104/0308510File Download Size Commentary Version Access Jerabek1.pdf 1 753.9 KB Publisher’s postprint require - 4.0523723 - ÚI 2021 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR GBP202/12/G061; GA ČR GJ16-07822Y
Institutional support: RVO:67985807
Keywords : tree * embedding * extremal graph theory * Loebl-Komlós-Sós conjecture
OECD category: Pure mathematics
Impact factor: 0.847, year: 2020
Method of publishing: Limited access
http://dx.doi.org/10.1016/j.ejc.2020.103106
Permanent Link: http://hdl.handle.net/11104/0308027 - 5.0523579 - MÚ 2021 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985840
Keywords : bounded arithmetic * parameter-free induction
OECD category: Pure mathematics
Impact factor: 0.287, year: 2020
Method of publishing: Limited access
https://link.springer.com/article/10.1007%2Fs00153-019-00702-w
Permanent Link: http://hdl.handle.net/11104/0307919File Download Size Commentary Version Access Jerabek.pdf 2 646.7 KB Publisher’s postprint require - 6.0503852 - ÚI 2020 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GBP202/12/G061; GA MŠMT(CZ) EF17_050/0008361
Institutional support: RVO:67985807
Keywords : Abstract algebraic logic * Leibniz hierarchy * Algebraizable logic * Protoalgebraic logic * Complexity theory
OECD category: Pure mathematics
Impact factor: 0.752, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1016/j.apal.2019.02.003
Permanent Link: http://hdl.handle.net/11104/0295627File Download Size Commentary Version Access a0503852.pdf 9 450.9 KB Publisher’s postprint require - 7.0503661 - ÚI 2020 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : propositional logic * fuzzy logic * Łukasiewicz Logic * rational truth constants * implicit definability * computational complexity
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 3.050, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1007/s00500-018-3461-x
Permanent Link: http://hdl.handle.net/11104/0295472 - 8.0501907 - ÚI 2020 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR GBP202/12/G061
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
Keywords : structural consequence relation * multisets * deductive relations * Hilbert systems * abstract algebraic logic * category theory * non-contraction
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.750, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1017/S175502031900008X
Permanent Link: http://hdl.handle.net/11104/0293884File Download Size Commentary Version Access 0501907-a.pdf 15 415.5 KB Publisher’s postprint require 0501907-pre2.pdf 7 608.6 KB Author´s preprint open-access - 9.0501613 - ÚI 2020 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GBP202/12/G061
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
Keywords : Skolemization * Herbrand theorems * Non-classical logics * Lattices
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.747, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1016/j.tcs.2019.02.007
Permanent Link: http://hdl.handle.net/11104/0293600File Download Size Commentary Version Access a0501613.pdf 16 520.2 KB Publisher’s postprint require 0501613-prep.pdf 9 254.4 KB https://www.elsevier.com/journals/theoretical-computer-science/03043975/guide-for-authors Author´s preprint open-access - 10.0500501 - ÚI 2019 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GJ16-07822Y; GA ČR GBP202/12/G061
Grant - others:GA MŠk(CZ) LO1506; GA MŠk(CZ) EE2.3.30.0038
Institutional support: RVO:67985807
Keywords : Interval graphs * Partial representation extension * PQ-trees * Certifying algorithm
OECD category: Pure mathematics
Impact factor: 0.762, year: 2018
https://www.combinatorics.org/ojs/index.php/eljc/article/view/v25i4p55
Permanent Link: http://hdl.handle.net/11104/0292562File Download Size Commentary Version Access 0500501a-cc.pdf 6 371.7 KB CC BY-ND Publisher’s postprint open-access