Can I read Esakia duals of regular Heyting algebras on EtoBox?

Esakia duals of regular Heyting algebras by Gianluca Grilletti; Davide Emilio Quadrellaro is a Computer Science article available to read on EtoBox.

What is Esakia duals of regular Heyting algebras about?

## Abstract We investigate in this article regular Heyting algebras by means of Esakia duality. In particular, we give a characterisation of Esakia spaces dual to regular Heyting algebras and we show that there are continuum-many varieties of Heyting algebras generated by regular Heyting algebras. We also study several logical applications of these classes of objects and we use them to provide novel topological completeness theorems for inquisitive logic, $$\texttt{DNA}$$ DNA -logics and dependence logic.

Who reads Esakia duals of regular Heyting algebras?

Author

Gianluca Grilletti; Davide Emilio Quadrellaro

Publisher

Springer Science and Business Media LLC

Published

2023

Language

EN

Field

Computer Science (Physical Sciences)