Weak Implication on Monadic Heyting Algebras

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

[thumbnail of Figallo1212015BJMCS20464.pdf] Text
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

Actions (login required)

View Item
View Item