Amirhossein Akbar Tabatabai

Available identifiers

zbMath Open akbar-tabatabai.amirhosseinMaRDI QIDQ2148799

List of research outcomes

Publication	Date of Publication	Type
Mining the surface: witnessing the low complexity theorems of arithmetic	2023-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q5884936	2023-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q5884937	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	0001-01-03	Paper
On Geometric Implications	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Amirhossein Akbar Tabatabai