4 citations · 10 across the 16 of their papers we have counts for
3 papers · 2 filters
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,…