4 citations · 10 across the 16 of their papers we have counts for
19 papers
Exponential Gaps Between Intuitionistic Linear Extended Frege Systems
Amirhossein Akbar Tabatabai
In this paper, we establish exponential separations between Extended Frege systems for a range of intuitionistic substructural and linear logics. More precisely, for any logic …
Proof Complexity of Linear Logics
Amirhossein Akbar Tabatabai, Raheleh Jalali
Proving proof-size lower bounds for , the sequent calculus for classical propositional logic, remains one of the major open problems in proof complexity. We shed new l…
Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
Amirhossein Akbar Tabatabai, Vitor Greati, Revantha Ramanayake
Inspired by Leivant's work on absolute predicativism, Bellantoni and Cook in 1992 introduced a structurally restricted form of recursion called predicative recursion. Using this re…
Proof Complexity and Feasible Interpolation
Amirhossein Akbar Tabatabai
This is a survey on propositional proof complexity aimed at introducing the basics of the field with a particular focus on a method known as feasible interpolation. This method is…
A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
Amirhossein Akbar Tabatabai, Majid Alizadeh, Alireza Mahmoudian
As part of a broader family of logics, [1, 3] introduced two key logical systems: , which encapsulates the basic logical structure of dynamic topological systems,…
On a Generalization of Heyting Algebras II
Amirhossein Akbar Tabatabai, Majid Alizadeh, Masoud Memarzadeh
A -algebra is a natural generalization of a Heyting algebra, unifying several algebraic structures, including bounded lattices, Heyting algebras, temporal Heyting algebras,…