ka | en
Authorisation

Temporal Heyting Algebras
Author: Phridoni AlshibaiaKeywords: Intuitionistic logic, Heyting calculus, Heyting algebras, Esakia Space, duality, temporal Heyting algebras
Annotation:
We investigate the variety of temporal Heyting algebras, which represent algebraic models of temporal Heyting calculus.