4 citations · 10 across the 16 of their papers we have counts for
5 papers · 1 filter
Geometric Modality and Weak Exponentials
Amirhossein Akbar Tabatabai
The intuitionistic implication and hence the notion of function space in constructive disciplines is both non-geometric and impredicative. In this paper we try to solve both of the…
Computational Flows in Arithmetic
Amirhossein Akbar Tabatabai
A computational flow is a pair consisting of a sequence of computational problems of a certain sort and a sequence of computational reductions among them. In this paper we will dev…
Russellian Propositional Logic and the BHK Interpretation
Amirhossein Akbar Tabatabai
The BHK interpretation interprets propositional statements as descriptions of the world of proofs; a world which is hierarchical in nature. It consists of different layers of the c…
Provability Logics of Hierarchies
Amirhossein Akbar Tabatabai
The branch of provability logic investigates the provability-based behavior of the mathematical theories. In a more precise way, it studies the relation between a mathematical theo…
Provability Interpretation of Propositional and Modal Logics
Amirhossein Akbar Tabatabai
In 1933, Gödel introduced a provability interpretation of the propositional intuitionistic logic to establish a formalization for the BHK interpretation. He used the modal system,…