1 citations · 2 across the 2 of their papers we have counts for
3 papers
math.LO2020
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…
math.LO2017★ 1 cited
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…
math.LO2017★ 1 cited
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…