1 citations · 2 across the 3 of their papers we have counts for
5 papers · 1 filter
On Geometric Implications
Amirhossein Akbar Tabatabai
It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image…
Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics
Amirhossein Akbar Tabatabai, Raheleh Jalali
In this paper, we introduce a general family of sequent-style calculi over the modal language and its fragments to capture the essence of all constructively acceptable systems. Cal…
Implication via Spacetime
Amirhossein Akbar Tabatabai
In this paper we intend to study implications in their most general form, generalizing different classes of implications including the Heyting implication, sub-structural implicati…
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…