Search results
- 1.0560276 - MÚ 2024 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA19-05497S
Institutional support: RVO:67985840
Keywords : proof complexity * modal logic * intermediate logic * extended Frege system
OECD category: Pure mathematics
Impact factor: 0.8, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2022.103181
Permanent Link: https://hdl.handle.net/11104/0333265File Download Size Commentary Version Access Jerabek.pdf 0 789.5 KB Publisher’s postprint require - 2.0532809 - ÚI 2021 RIV NL eng J - Journal Article
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
R&D Projects: GA MŠMT(CZ) EF17_050/0008361
Institutional support: RVO:67985807
Keywords : Epimorphism * Heyting algebra * Esakia space * Intuitionistic logic * Intermediate logic * Beth definability
OECD category: Pure mathematics
Impact factor: 0.678, year: 2020
Method of publishing: Limited access
http://dx.doi.org/10.1016/j.apal.2020.102824
Permanent Link: http://hdl.handle.net/11104/0311209 - 3.0522847 - ÚI 2020 US eng V - Research Report
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].
Institutional support: RVO:67985807
Keywords : Epimorphism * Heyting algebra * Brouwerian algebra * Esakia space * intuitionistic logic * intermediate logic * Beth definability
OECD category: Pure mathematics
https://arxiv.org/abs/1908.00287
Permanent Link: http://hdl.handle.net/11104/0307269 - 4.0330849 - MÚ 2010 RIV US eng J - Journal Article
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
R&D Projects: GA AV ČR IAA900090703; GA AV ČR IAA1019401
Institutional research plan: CEZ:AV0Z10190503
Keywords : inference rule * modal logic * intermediate logic
Subject RIV: BA - General Mathematics
Impact factor: 0.631, year: 2009
Permanent Link: http://hdl.handle.net/11104/0176537File Download Size Commentary Version Access Jerabek2.pdf 1 12.9 MB Publisher’s postprint require