Amirhossein Akbar Tabatabai

Available identifiers

zbMath Open akbar-tabatabai.amirhosseinMaRDI QIDQ2148799

List of research outcomes

Publication	Date of Publication	Type
Universal proof theory: feasible admissibility in intuitionistic modal logics	2024-12-12	Paper
Witnessing flows in arithmetic	2024-11-29	Paper
Universal proof theory: semi-analytic rules and Craig interpolation	2024-10-07	Paper
Mining the surface: witnessing the low complexity theorems of arithmetic	2023-06-02	Paper
Uniform Lyndon interpolation for intuitionistic monotone modal logic	2023-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q5884936	2023-03-24	Paper
Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics	2022-09-19	Paper
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics	2022-08-10	Paper
Uniform Lyndon interpolation for intuitionistic monotone modal logic	2022-08-09	Paper
Uniform Lyndon interpolation for basic non-normal modal logics	2022-06-24	Paper
Implication via spacetime	2021-03-19	Paper
Universal Proof Theory: Semi-analytic Rules and Craig Interpolation	2018-08-19	Paper
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation	2018-08-19	Paper
Computational Flows in Arithmetic	2017-11-06	Paper
Geometric Modality and Weak Exponentials	2017-11-06	Paper
Provability Interpretation of Propositional and Modal Logics	2017-04-20	Paper
Provability Logics of Hierarchies	2017-04-20	Paper
Russellian Propositional Logic and the BHK Interpretation	2017-04-20	Paper
Witnessing Flows in Arithmetic	N/A	Paper
On Geometric Implications	N/A	Paper

Research outcomes over time

This page was built for person: Amirhossein Akbar Tabatabai