Výsledky vyhledávání
- 1.0575115 - MÚ 2024 RIV US eng J - Článek v odborném periodiku
Jeřábek, Emil
Models of VTC^0 as exponential integer parts.
Mathematical Logic Quarterly. Roč. 69, č. 2 (2023), s. 244-260. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: logic * mathematics
Obor OECD: Pure mathematics
Impakt faktor: 0.3, rok: 2022
Způsob publikování: Open access
https://doi.org/10.1002/malq.202300001
Trvalý link: https://hdl.handle.net/11104/0344971Název souboru Staženo Velikost Komentář Verze Přístup Jerabek2.pdf 0 290.9 KB Vydavatelský postprint povolen - 2.0559445 - ÚI 2023 RIV DE eng J - Článek v odborném periodiku
Goris, E. - Bílková, Marta - Joosten, J.J. - Mikec, L.
Theory and Application of Labelling Techniques for Interpretability Logics.
Mathematical Logic Quarterly. Roč. 68, č. 3 (2022), s. 352-374. ISSN 0942-5616. E-ISSN 1521-3870
Institucionální podpora: RVO:67985807
Klíčová slova: modal logic * interpretability logic * Veltman semantics * completeness
Obor OECD: Pure mathematics
Impakt faktor: 0.3, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1002/malq.202200015
Trvalý link: https://hdl.handle.net/11104/0332745 - 3.0556695 - MÚ 2023 RIV DE eng J - Článek v odborném periodiku
Krawczyk, A. - Kruckman, A. - Kubiś, Wieslaw - Panagiotopoulos, A. Z.
Examples of weak amalgamation classes.
Mathematical Logic Quarterly. Roč. 68, č. 2 (2022), s. 178-188. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA ČR(CZ) GX20-31529X
Institucionální podpora: RVO:67985840
Klíčová slova: generic automorphisms
Obor OECD: Pure mathematics
Impakt faktor: 0.3, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1002/malq.202100037
Trvalý link: http://hdl.handle.net/11104/0330814Název souboru Staženo Velikost Komentář Verze Přístup Kubis1.pdf 5 462.6 KB Vydavatelský postprint vyžádat - 4.0556685 - MÚ 2023 RIV DE eng J - Článek v odborném periodiku
Jeřábek, Emil
The theory of hereditarily bounded sets.
Mathematical Logic Quarterly. Roč. 68, č. 2 (2022), s. 243-256. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: hereditarily finite sets * pairing function * decidability
Obor OECD: Pure mathematics
Impakt faktor: 0.3, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1002/malq.202100020
Trvalý link: http://hdl.handle.net/11104/0330805Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 2 473 KB Vydavatelský postprint vyžádat - 5.0531245 - ÚI 2021 RIV DE eng J - Článek v odborném periodiku
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Singly Generated Quasivarieties and Residuated Structures.
Mathematical Logic Quarterly. Roč. 66, č. 2 (2020), s. 150-172. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: joint embedding property * passive structural completeness * relevance principle * abstract algebraic logic * relevance logic
Obor OECD: Pure mathematics
Impakt faktor: 0.240, rok: 2020
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1002/malq.201900012
Trvalý link: http://hdl.handle.net/11104/0309943 - 6.0507204 - ÚI 2020 DE eng J - Článek v odborném periodiku
Pich, Ján
Nisan-Wigderson generators in proof systems with forms of interpolation.
Mathematical Logic Quarterly. Roč. 57, č. 4 (2011), s. 379-383. ISSN 0942-5616. E-ISSN 1521-3870
Klíčová slova: lower bounds * complexity * Nisan-Wigderson generator * proof complexity * feasible interpolation
Impakt faktor: 0.496, rok: 2011
Trvalý link: http://hdl.handle.net/11104/0298248 - 7.0504577 - MÚ 2020 RIV DE eng J - Článek v odborném periodiku
Jeřábek, Emil
Rigid models of Presburger arithmetic.
Mathematical Logic Quarterly. Roč. 65, č. 1 (2019), s. 108-115. ISSN 0942-5616. E-ISSN 1521-3870
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: Presburger arithmetic * rigid models
Obor OECD: Pure mathematics
Impakt faktor: 0.244, rok: 2019
Způsob publikování: Open access
http://dx.doi.org/10.1002/malq.201800019
Trvalý link: http://hdl.handle.net/11104/0296176Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 1 173.9 KB Vydavatelský postprint povolen - 8.0504133 - ÚI 2020 DE eng J - Článek v odborném periodiku
Badia, G. - Tedder, Andrew
On elimination of quantifiers in some non-classical mathematical theories.
Mathematical Logic Quarterly. Roč. 64, č. 3 (2018), s. 140-154. ISSN 0942-5616. E-ISSN 1521-3870
Klíčová slova: inconsistent models * arithmetics * logic
Impakt faktor: 0.327, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0295833 - 9.0484738 - MÚ 2018 RIV DE eng J - Článek v odborném periodiku
Glivický, Petr - Pudlák, Pavel
A wild model of linear arithmetic and discretely ordered modules.
Mathematical Logic Quarterly. Roč. 63, č. 6 (2017), s. 501-508. ISSN 0942-5616. E-ISSN 1521-3870
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: linear arithmetics
Obor OECD: Pure mathematics
Impakt faktor: 0.522, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0279883Název souboru Staženo Velikost Komentář Verze Přístup Glivicky1.pdf 2 170.3 KB Vydavatelský postprint vyžádat - 10.0481155 - MÚ 2018 RIV DE eng J - Článek v odborném periodiku
Glivický, Petr - Kala, V.
Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics.
Mathematical Logic Quarterly. Roč. 63, 3-4 (2017), s. 162-174. ISSN 0942-5616. E-ISSN 1521-3870
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: Fermat's last theorem * Catalan's conjecture
Obor OECD: Pure mathematics
Impakt faktor: 0.522, rok: 2017
http://onlinelibrary.wiley.com/doi/10.1002/malq.201500069/full
Trvalý link: http://hdl.handle.net/11104/0276757Název souboru Staženo Velikost Komentář Verze Přístup Glivicky.pdf 2 230.5 KB Vydavatelský postprint vyžádat