On frontal operators in Hilbert algebras
Jorge Castiglioni, Hernán Javier San Martín · Logic Journal of IGPL · 2014
In this article, we introduce and study a family of compatible functions in Hilbert algebras which in the case of Heyting algebras agree with the frontal operators given by Esakia (2006, J. Appl. Non-Class. Log., 16, 349–366). Moreover, we give a representation theory, based on previous works by Cabrer, Celani and Montangie, for Hilbert algebras with a frontal operator and for Hilbert algebras with some particular frontal operators.