Akbar Tabatabai, Seyed Amirhossein - Jalali Keshavarz, Raheleh
Universal proof theory: Feasible admissibility in intuitionistic modal logics.
Annals of Pure and Applied Logic. Roč. 176, č. 2 (2025), č. článku 103526. ISSN 0168-0072. E-ISSN 1873-2461
R&D Projects: GA ČR(CZ) GA23-04825S; GA ČR(CZ) GA22-01137S
OECD category: Pure mathematics
Impact factor: 0.6, year: 2023 ; AIS: 0.578, rok: 2023
Method of publishing: Limited access
Result website:
https://doi.org/10.1016/j.apal.2024.103526DOI: https://doi.org/10.1016/j.apal.2024.103526
https://hdl.handle.net/11104/0357882