6 papers
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…
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
Amirhossein Akbar Tabatabai, Raheleh Jalali
In \cite{Craig}, we introduced a syntactically defined and highly general class of calculi known as \emph{semi-analytic}. We then demonstrated that any sufficiently strong (modal)…
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…
An Introduction to Categorical Proof Theory
Amirhossein Akbar Tabatabai
These expanded lecture notes are based on a tutorial on categorical proof theory presented at the summer school associated with the conference "Topology, Algebra, and Categories in…
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,…