4 citations · 10 across the 16 of their papers we have counts for
Showing 2024 · math.LOShow all
3 papers · 2 filters
math.LO2024
On a Generalization of Heyting Algebras II
Amirhossein Akbar Tabatabai, Majid Alizadeh, Masoud Memarzadeh
A -algebra is a natural generalization of a Heyting algebra, unifying several algebraic structures, including bounded lattices, Heyting algebras, temporal Heyting algebras,…
math.LO2024
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…
math.LO2024★ 1 cited
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…