Amirhossein Akbar Tabatabai

23 papers B 2C 2Journal 18Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Proof Complexity of Linear Logics.
CoRR
Amirhossein Akbar Tabatabai, Raheleh Jalali
2025 J jnl
A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic.
CoRR
Amirhossein Akbar Tabatabai, Majid Alizadeh, Alireza Mahmoudian
2025 J jnl
On Geometric Implications.
Stud Logica
Amirhossein Akbar Tabatabai
2025 J jnl
On a Generalization of Heyting Algebras I.
Stud Logica
Amirhossein Akbar Tabatabai, Majid Alizadeh, Masoud Memarzadeh
2025 J jnl
Predicative Ordinal Recursion on the Constructive Veblen Hierarchy.
CoRR
Amirhossein Akbar Tabatabai, Vitor Greati, Revantha Ramanayake
2025 J jnl
Proof Complexity and Feasible Interpolation.
CoRR
Amirhossein Akbar Tabatabai
2025 J jnl
Uniform lyndon interpolation for basic non-normal modal and conditional logics.
J. Log. Comput.
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
2025 J jnl
Universal proof theory: Feasible admissibility in intuitionistic modal logics.
Ann. Pure Appl. Log.
Amirhossein Akbar Tabatabai, Raheleh Jalali
2025 J jnl
Universal proof theory: Semi-analytic rules and Craig interpolation.
Ann. Pure Appl. Log.
Amirhossein Akbar Tabatabai, Raheleh Jalali
2024 J jnl
An Introduction to Categorical Proof Theory.
CoRR
Amirhossein Akbar Tabatabai
2024 — conf
On the Computational Content of Intuitionistic Modal Proofs (invited talk abstract).
ARQNL@IJCAR
Amirhossein Akbar Tabatabai
2024 J jnl
Witnessing Flows in Arithmetic.
CoRR
Amirhossein Akbar Tabatabai
2024 J jnl
Witnessing flows in arithmetic.
Math. Struct. Comput. Sci.
Amirhossein Akbar Tabatabai
2022 C conf
Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic.
WoLLIC
Amirhossein Akbar Tabatabai
2022 B conf
Provability Logics of Hierarchies.
AiML
Amirhossein Akbar Tabatabai
2022 J jnl
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics.
CoRR
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
2022 B conf
Uniform Lyndon interpolation for intuitionistic monotone modal logic.
AiML
Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai
2022 J jnl
Uniform Lyndon interpolation for intuitionistic monotone modal logic.
CoRR
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
2022 J jnl
Universal Proof Theory: Constructive Rules and Feasible Admissibility.
CoRR
Amirhossein Akbar Tabatabai, Raheleh Jalali
2021 C conf
Uniform Lyndon Interpolation for Basic Non-normal Modal Logics.
WoLLIC
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
2018 J jnl
Universal Proof Theory: Semi-analytic Rules and Craig Interpolation.
CoRR
Amirhossein Akbar Tabatabai, Raheleh Jalali
2018 J jnl
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation.
CoRR
Amirhossein Akbar Tabatabai, Raheleh Jalali
2017 J jnl
Computational Flows in Arithmetic.
CoRR
Amirhossein Akbar Tabatabai