Amirhossein Akbar Tabatabai

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

Collaborative distances:

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

2025

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

Amirhossein Akbar Tabatabai, Raheleh Jalali

Ann. Pure Appl. Log., 2025

2024

An Introduction to Categorical Proof Theory.

Amirhossein Akbar Tabatabai

CoRR, 2024

Witnessing Flows in Arithmetic.

Amirhossein Akbar Tabatabai

CoRR, 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