Weak Implication on Monadic Heyting Algebras
Aldo V. Figallo & Gustavo Pelaitay · Journal of Advances in Mathematics and Computer Science · 2015
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 th...
Open access
Research Article
10.9734/BJMCS/2016/20464