Amirhossein Akbar Tabatabai

According to our database, Amirhossein Akbar Tabatabai authored at least 17 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

On a Generalization of Heyting Algebras I.

Amirhossein Akbar Tabatabai, Majid Alizadeh, Masoud Memarzadeh

Stud Logica, June, 2025

Proof Complexity and Feasible Interpolation.

Amirhossein Akbar Tabatabai

CoRR, May, 2025

On Geometric Implications.

Amirhossein Akbar Tabatabai

Stud Logica, February, 2025

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic.

Amirhossein Akbar Tabatabai, Majid Alizadeh, Alireza Mahmoudian

CoRR, February, 2025

Universal proof theory: Feasible admissibility in intuitionistic modal logics.

Amirhossein Akbar Tabatabai, Raheleh Jalali

Ann. Pure Appl. Log., 2025

Universal proof theory: Semi-analytic rules and Craig interpolation.

Amirhossein Akbar Tabatabai, Raheleh Jalali

Ann. Pure Appl. Log., 2025

2024

Witnessing flows in arithmetic.

Amirhossein Akbar Tabatabai

Math. Struct. Comput. Sci., 2024

An Introduction to Categorical Proof Theory.

Amirhossein Akbar Tabatabai

CoRR, 2024

On the Computational Content of Intuitionistic Modal Proofs (invited talk abstract).

Amirhossein Akbar Tabatabai

Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024) affiliated with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), 2024

2022

Universal Proof Theory: Constructive Rules and Feasible Admissibility.

Amirhossein Akbar Tabatabai, Raheleh Jalali

CoRR, 2022

Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics.

Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali

CoRR, 2022

Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic.

Amirhossein Akbar Tabatabai

Proceedings of the Logic, Language, Information, and Computation, 2022

Provability Logics of Hierarchies.

Amirhossein Akbar Tabatabai

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

Uniform Lyndon interpolation for intuitionistic monotone modal logic.

Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Uniform Lyndon Interpolation for Basic Non-normal Modal Logics.

Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali

Proceedings of the Logic, Language, Information, and Computation, 2021

2018

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation.

Amirhossein Akbar Tabatabai, Raheleh Jalali

CoRR, 2018

2017

Computational Flows in Arithmetic.

Amirhossein Akbar Tabatabai

CoRR, 2017