3 papers
math.LO2025
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,…
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
On a Generalization of Heyting Algebras I
Amirhossein Akbar Tabatabai, Majid Alizadeh, Masoud Memarzadeh
-algebra is a natural generalization of Heyting algebra, unifying many algebraic structures including bounded lattices, Heyting algebras, temporal Heyting algebras and the…