Figallo, Aldo V. and Pelaitay, Gustavo (2015) Weak Implication on Monadic Heyting Algebras. British Journal of Mathematics & Computer Science, 12 (1). pp. 1-7. ISSN 22310851
Figallo1212015BJMCS20464.pdf - Published Version
Download (508kB)
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 rst element, i.e. a Boolean algebra, as it is mentioned by A. Monteiro and O. Varsavsky in 1957 (Algebras de Heyting monádicas, Actas de las X Jornadas de la Unión Matemática Argentina, Bahía 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.
Item Type: | Article |
---|---|
Subjects: | STM Academic > Mathematical Science |
Depositing User: | Unnamed user with email support@stmacademic.com |
Date Deposited: | 03 Feb 2024 04:41 |
Last Modified: | 03 Feb 2024 04:41 |
URI: | http://article.researchpromo.com/id/eprint/919 |