Amirhossein Akbar Tabatabai

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 11

Top Topics

Cut Elimination

Image Interpolation

Top Venues

Publications

Amirhossein Akbar Tabatabai
Witnessing Flows in Arithmetic. CoRR (2024)
Amirhossein Akbar Tabatabai
Provability Logics of Hierarchies. AiML (2022)
Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai
Uniform Lyndon interpolation for intuitionistic monotone modal logic. AiML (2022)
Amirhossein Akbar Tabatabai, Raheleh Jalali
Universal Proof Theory: Constructive Rules and Feasible Admissibility. CoRR (2022)
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
Uniform Lyndon interpolation for intuitionistic monotone modal logic. CoRR (2022)
Amirhossein Akbar Tabatabai
Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic. WoLLIC (2022)
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics. CoRR (2022)
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
Uniform Lyndon Interpolation for Basic Non-normal Modal Logics. WoLLIC (2021)
Amirhossein Akbar Tabatabai, Raheleh Jalali
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation. CoRR (2018)
Amirhossein Akbar Tabatabai, Raheleh Jalali
Universal Proof Theory: Semi-analytic Rules and Craig Interpolation. CoRR (2018)
Amirhossein Akbar Tabatabai
Computational Flows in Arithmetic. CoRR (2017)