Abstract
In this paper, we introduce an implication operation, called weak implication, which will be quite useful in order to characterize subdirectly irreducible monadic Heyting algebras. Furthermore, it is shown that deductively semisimple algebras are the non trivial ones such that the subalgebra of constants is a Tarski algebra with first element, i.e. a Boolean algebra, as it is mentioned by A. Monteiro and O. Varsavsky in 1957 (Algebras de Heyting monadicas, Actas de las X Jornadas de la Union Matematica Argentina, Bahia Blanca, (1957), (52–62). Finally, it is stated that some of the results established for monadic Heyting algebras are also valid for monadic generalized Heyting algebras.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: British Journal of Mathematics & Computer Science
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
