Temporal Heyting Algebras

Author: Phridoni Alshibaia
Keywords: 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.