Synopsis of fronton theory (Q2751820)

As the title says, this is not a full paper but a synopsis of the ``fronton theory'' developed by the author. Frontons are topological Heyting algebras (structures providing algebraic semantics for intuitionistic modal logics), satisfying some additional properties of topological nature. A Heyting algebra is frontal if it can be expanded to a fronton by adding an appropriately defined modal operator. The paper contains some results (withour proofs) on frontons and frontal algebras, and extends the study of frontons to temporal Heyting algebras and intuitionistic temporal logics.NEWLINENEWLINEFor the entire collection see [Zbl 0960.00036].