Výsledky vyhledávání
- 1.0605674 - MÚ 2026 RIV DE eng J - Článek v odborném periodiku
Akbar Tabatabai, Seyed Amirhossein
On geometric implications.
Studia Logica. Roč. 113, č. 1 (2025), s. 79-108. ISSN 0039-3215. E-ISSN 1572-8730
Institucionální podpora: RVO:67985840
Klíčová slova: frame representation * geometricity * implications * modal algebras
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2023 ; AIS: 0.494, rok: 2023
Způsob publikování: Open access
DOI: https://doi.org/10.1007/s11225-023-10094-x
Trvalý link: https://hdl.handle.net/11104/0363327Název souboru Staženo Velikost Komentář Verze Přístup Akbar_Tabatabai2.pdf 3 438.1 KB Vydavatelský postprint vyžádat - 2.0601777 - MÚ 2025 RIV GB eng J - Článek v odborném periodiku
Akbar Tabatabai, Seyed Amirhossein
Witnessing flows in arithmetic.
Mathematical Structures in Computer Science. Roč. 34, č. 7 (2024), s. 578-614. ISSN 0960-1295. E-ISSN 1469-8072
Institucionální podpora: RVO:67985840
Klíčová slova: bounded arithmetic * local search programs * ordinal analysis * Total search problems
Obor OECD: Pure mathematics
Impakt faktor: 0.4, rok: 2023 ; AIS: 0.479, rok: 2023
Způsob publikování: Open access
Web výsledku:
https://doi.org/10.1017/S0960129524000185DOI: https://doi.org/10.1017/S0960129524000185
Trvalý link: https://hdl.handle.net/11104/0359079Název souboru Staženo Velikost Komentář Verze Přístup Akbar_Tabatabai.pdf 1 666.6 KB Vydavatelský postprint povolen - 3.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/0357882Název souboru Staženo Velikost Komentář Verze Přístup Akbar_Tabatabai1.pdf 0 755.7 KB Vydavatelský postprint vyžádat - 4.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/0355944Název souboru Staženo Velikost Komentář Verze Přístup Akbar_Tabatabai.pdf 2 549.4 KB Vydavatelský postprint vyžádat