Výsledky vyhledávání
- 1.0560276 - MÚ 2024 RIV NL eng J - Článek v odborném periodiku
Jeřábek, Emil
On the proof complexity of logics of bounded branching.
Annals of Pure and Applied Logic. Roč. 174, č. 1 (2023), č. článku 103181. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * modal logic * intermediate logic * extended Frege system
Obor OECD: Pure mathematics
Impakt faktor: 0.8, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2022.103181
Trvalý link: https://hdl.handle.net/11104/0333265Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 0 789.5 KB Vydavatelský postprint vyžádat - 2.0532809 - ÚI 2021 RIV NL eng J - Článek v odborném periodiku
Moraschini, Tommaso - Wannenburg, J. J.
Epimorphism Surjectivity in Varieties of Heyting Algebras.
Annals of Pure and Applied Logic. Roč. 171, č. 9 (2020), č. článku 102824. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA MŠMT(CZ) EF17_050/0008361
Institucionální podpora: RVO:67985807
Klíčová slova: Epimorphism * Heyting algebra * Esakia space * Intuitionistic logic * Intermediate logic * Beth definability
Obor OECD: Pure mathematics
Impakt faktor: 0.678, rok: 2020
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.apal.2020.102824
Trvalý link: http://hdl.handle.net/11104/0311209 - 3.0522847 - ÚI 2020 US eng V - Výzkumná zpráva
Moraschini, Tommaso - Wannenburg, J. J.
Epimorphism surjectivity in varieties of Heyting algebras.
Cornell University, 2019. 36 s. arXiv.org e-Print archive, arXiv:1908.00287 [math.LO].
Institucionální podpora: RVO:67985807
Klíčová slova: Epimorphism * Heyting algebra * Brouwerian algebra * Esakia space * intuitionistic logic * intermediate logic * Beth definability
Obor OECD: Pure mathematics
https://arxiv.org/abs/1908.00287
Trvalý link: http://hdl.handle.net/11104/0307269 - 4.0330849 - MÚ 2010 RIV US eng J - Článek v odborném periodiku
Jeřábek, Emil
Canonical Rules.
[Kanonická pravidla.]
Journal of Symbolic Logic. Roč. 74, č. 4 (2009), s. 1171-1205. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA AV ČR IAA900090703; GA AV ČR IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: inference rule * modal logic * intermediate logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.631, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0176537Název souboru Staženo Velikost Komentář Verze Přístup Jerabek2.pdf 1 12.9 MB Vydavatelský postprint vyžádat