0549748 - MÚ 2022 NL eng J - Journal Article
Jalali Keshavarz, Raheleh
Proof complexity of substructural logics.
Annals of Pure and Applied Logic. Roč. 172, č. 7 (2021), č. článku 102972. ISSN 0168-0072. E-ISSN 1873-2461
R&D Projects: GA ČR(CZ) GA19-05497S
Institutional support: RVO:67985840
Keywords : proof complexity * subintuitionistic logics * substructural logics
OECD category: Pure mathematics
Impact factor: 0.776, year: 2021
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2021.102972
Permanent Link: http://hdl.handle.net/11104/0325667
Jalali Keshavarz, Raheleh
Proof complexity of substructural logics.
Annals of Pure and Applied Logic. Roč. 172, č. 7 (2021), č. článku 102972. ISSN 0168-0072. E-ISSN 1873-2461
R&D Projects: GA ČR(CZ) GA19-05497S
Institutional support: RVO:67985840
Keywords : proof complexity * subintuitionistic logics * substructural logics
OECD category: Pure mathematics
Impact factor: 0.776, year: 2021
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2021.102972
Permanent Link: http://hdl.handle.net/11104/0325667