On cyclic symmetric Heyting algebras.
Abad, M., Díaz Varela, J. P., Fernández, A., Meske, N., Rueda, L. (2001)
Portugaliae Mathematica. Nova Série
Similarity:
Abad, M., Díaz Varela, J. P., Fernández, A., Meske, N., Rueda, L. (2001)
Portugaliae Mathematica. Nova Série
Similarity:
Josep M. Font, Gonzalo Rodríguez Pérez (1992)
Publicacions Matemàtiques
Similarity:
In [4] Blok and Pigozzi prove syntactically that RM, the propositional calculus also called R-Mingle, is algebraizable, and as a consequence there is a unique quasivariety (the so-called equivalent quasivariety semantics) associated to it. In [3] it is stated that this quasivariety is the variety of Sugihara algebras. Starting from this fact, in this paper we present an equational base for this variety obtained as a subvariety of the variety of R-algebras, found in [7] to be associated...
Abad Manuel, Cimadamore Cecilia, Díaz Varela José, Rueda Laura, Suardíaz Ana (2005)
Open Mathematics
Similarity:
In this paper, the variety of closure n-valued Łukasiewicz algebras, that is, Łukasiewicz algebras of order n endowed with a closure operator, is investigated. The lattice of subvarieties in the particular case in which the open elements form a three-valued Heyting algebra is obtained.
W. Bloki, I. Ferreirim (1993)
Banach Center Publications
Similarity:
Celani, Sergio Arturo (2006)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Loureiro, Isabel (1980)
Portugaliae mathematica
Similarity:
Ramalho, Margarita, Sequeira, Margarida (1987)
Portugaliae mathematica
Similarity:
Priestley, H.A., Santos, R. (1998)
Portugaliae Mathematica
Similarity:
Jaroslav Ježek, P. Marković, David Stanovský (2007)
Czechoslovak Mathematical Journal
Similarity:
We prove that a finite unary algebra with at least two operation symbols is a homomorphic image of a (finite) subdirectly irreducible algebra if and only if the intersection of all its subalgebras which have at least two elements is nonempty.