Amirhossein Akbar Tabatabai

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Uniform Lyndon interpolation for basic non-normal modal and conditional logics Journal of Logic and Computation	2025-09-30	Paper
On a generalization of Heyting algebras. I Studia Logica	2025-07-28	Paper
On geometric implications Studia Logica	2025-02-17	Paper
Universal proof theory: feasible admissibility in intuitionistic modal logics Annals of Pure and Applied Logic	2024-12-12	Paper
Witnessing flows in arithmetic Mathematical Structures in Computer Science	2024-11-29	Paper
Universal proof theory: semi-analytic rules and Craig interpolation Annals of Pure and Applied Logic	2024-10-07	Paper
Mining the surface: witnessing the low complexity theorems of arithmetic Logic, Language, Information, and Computation	2023-06-02	Paper
Uniform Lyndon interpolation for intuitionistic monotone modal logic (available as arXiv preprint)	2023-03-24	Paper
scientific article; zbMATH DE number 7668091 (Why is no real title available?) (available as arXiv preprint)	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 (available as arXiv preprint)	2022-08-10	Paper
Uniform Lyndon interpolation for intuitionistic monotone modal logic (available as arXiv preprint)	2022-08-09	Paper
Uniform Lyndon interpolation for basic non-normal modal logics (available as arXiv preprint)	2022-06-24	Paper
Implication via spacetime (available as arXiv preprint)	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 (available as arXiv preprint)	2017-04-20	Paper
Russellian Propositional Logic and the BHK Interpretation	2017-04-20	Paper
Witnessing Flows in Arithmetic (available as arXiv preprint)	N/A	Paper
On Geometric Implications (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Amirhossein Akbar Tabatabai