Publication Date:
2015-03-28
Description:
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.
Print ISSN:
1367-0751
Electronic ISSN:
1368-9894
Topics:
Mathematics
Permalink