Počet záznamů: 1  

Universal proof theory: Feasible admissibility in intuitionistic modal logics

  1. 1.
    0600572 - MÚ 2026 RIV NL eng J - Článek v odborném periodiku
    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
    Grant CEP: GA ČR(CZ) GA23-04825S; GA ČR(CZ) GA22-01137S
    Institucionální podpora: RVO:67985840
    Klíčová slova: admissible rules * feasible disjunction property * intuitionistic modal logics
    Obor OECD: Pure mathematics; Pure mathematics (UIVT-O)
    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.103526DOI: https://doi.org/10.1016/j.apal.2024.103526
    Trvalý link: https://hdl.handle.net/11104/0357882
     
    Název souboruStaženoVelikostKomentářVerzePřístup
    Akbar_Tabatabai1.pdf0755.7 KBVydavatelský postprintvyžádat
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.