Publications

Book Contributions

Implication via Spacetime, Logic, and Their Philosophies: Essays in Honour of Mohammad Ardeshir, Eds. M. Mojtahedi, S. Rahman, M. Zarepour 2021.
An Introduction to Categorical Proof Theory, In: Clementino, M.M., Gehrke, M., Picado, J. (eds) Topology, Algebra and Categories in Logic. Coimbra Mathematical Texts, vol 5. Springer.
Proof Complexity and Feasible Interpolation, accepted.

Papers

Proof Complexity of Linear Logics, with R. Jalali, submitted.
Predicative Ordinal Recursion on the Constructive Veblen Hierarchy, with V. Greati and R. Ramanayake, submitted.
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation, with R. Jalali, Annals of Pure and Applied Logic 2026.
A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic, with M. Alizadeh and A. Mahmoudian, Studia Logica 2026.
On a Generalization of Heyting Algebras II, with M. Alizadeh and M. Memarzadeh, Studia Logica 2026.
Abstract \omega-monotonicity and multiplicative sequent calculi, with A. Puerto and R. Ramanayake, submitted.
Universal Proof Theory: Semi-analytic Rules and Craig Interpolation, with R. Jalali, Annals of Pure and Applied Logic 2024.
Witnessing Flows in Arithmetic, Mathematical Structures in Computer Science 2024. (Preliminary version: Proc. WoLLIC 2022).
On a Generalization of Heyting Algebras I, with M. Alizadeh and M. Memarzadeh, Studia Logica 2024.
On Geometric Implications, Studia Logica 2024.
Universal Proof Theory: Feasible Admissible Rules for Intuitionistic Modal Logics, with R. Jalali, Annals of Pure and Applied Logic 2024.
Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic, WoLLIC 2022.
Provability Logics of Hierarchies, Advances in Modal Logic 2022.
Uniform Lyndon Interpolation for Intuitionistic Monotone Modal Logic , with R. Iemhoff and R. Jalali, Advances in Modal Logic 2022.
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics, with R. Iemhoff, and R. Jalali, Journal of Logic and Computation. (Preliminary version: Proc. WoLLIC 2021).
Uniform Lyndon Interpolation for Basic Non-normal Modal Logics , with R. Iemhoff and R. Jalali, WoLLIC 2021.

Preprints

Thesis

In the Light of Intuitionism: Two Investigations in Proof Theory, Charles University, Prague 2018
Model Theory of Proofs, Sharif University of Technology 2013

Miscellaneous

Lecture Notes on Computability Theory, Logic and Computation master course, Utrecht University 2021.
On the Logical Shadow of the Explicit Constructions, Oberwolfach Workshop, Mathematical Logic: Proof Theory, Constructive Mathematics 2020.

Publications

Book Contributions

Implication via Spacetime, Logic, and Their Philosophies: Essays in Honour of Mohammad Ardeshir, Eds. M. Mojtahedi, S. Rahman, M. Zarepour 2021.

An Introduction to Categorical Proof Theory, In: Clementino, M.M., Gehrke, M., Picado, J. (eds) Topology, Algebra and Categories in Logic. Coimbra Mathematical Texts, vol 5. Springer.

Proof Complexity and Feasible Interpolation, accepted.

Papers

Proof Complexity of Linear Logics, with R. Jalali, submitted.

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy, with V. Greati and R. Ramanayake, submitted.

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation, with R. Jalali, Annals of Pure and Applied Logic 2026.

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic, with M. Alizadeh and A. Mahmoudian, Studia Logica 2026.

On a Generalization of Heyting Algebras II, with M. Alizadeh and M. Memarzadeh, Studia Logica 2026.

Abstract \omega-monotonicity and multiplicative sequent calculi, with A. Puerto and R. Ramanayake, submitted.

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation, with R. Jalali, Annals of Pure and Applied Logic 2024.

Witnessing Flows in Arithmetic, Mathematical Structures in Computer Science 2024. (Preliminary version: Proc. WoLLIC 2022).

On a Generalization of Heyting Algebras I, with M. Alizadeh and M. Memarzadeh, Studia Logica 2024.

On Geometric Implications, Studia Logica 2024.

Universal Proof Theory: Feasible Admissible Rules for Intuitionistic Modal Logics, with R. Jalali, Annals of Pure and Applied Logic 2024.

Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic, WoLLIC 2022.

Provability Logics of Hierarchies, Advances in Modal Logic 2022.

Uniform Lyndon Interpolation for Intuitionistic Monotone Modal Logic , with R. Iemhoff and R. Jalali, Advances in Modal Logic 2022.

Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics, with R. Iemhoff, and R. Jalali, Journal of Logic and Computation. (Preliminary version: Proc. WoLLIC 2021).

Uniform Lyndon Interpolation for Basic Non-normal Modal Logics , with R. Iemhoff and R. Jalali, WoLLIC 2021.

Preprints

Universal Proof Theory: Semi-analytic Rules and Interpolation, with R. Jalali

Provability Interpretation of Propositional and Modal Logics

Proof Mining in Bounded Arithmetic

Non-deterministic Flows in Arithmetic

Russellian Propositional Logic and the BHK Interpretation

Thesis

In the Light of Intuitionism: Two Investigations in Proof Theory, Charles University, Prague 2018

Model Theory of Proofs, Sharif University of Technology 2013

Miscellaneous

Lecture Notes on Computability Theory, Logic and Computation master course, Utrecht University 2021.

On the Logical Shadow of the Explicit Constructions, Oberwolfach Workshop, Mathematical Logic: Proof Theory, Constructive Mathematics 2020.