0598219 - MÚ 2026 RIV NL eng J - Článek v odborném periodiku
Akbar Tabatabai, Seyed Amirhossein - Jalali Keshavarz, Raheleh
Universal proof theory: Semi-analytic rules and Craig interpolation.
Annals of Pure and Applied Logic. Roč. 176, č. 1 (2025), č. článku 103509. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GA23-04825S; GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985840 ; RVO:67985807
Klíčová slova: Craig interpolation * linear logics * sequent calculi
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2023 ; AIS: 0.578, rok: 2023
Způsob publikování: Omezený přístup
Web výsledku:
https://doi.org/10.1016/j.apal.2024.103509DOI: https://doi.org/10.1016/j.apal.2024.103509
Trvalý link: https://hdl.handle.net/11104/0355944