### 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:

Skip to main content (access key 's'),
Skip to navigation (access key 'n'),
Accessibility information (access key '0')

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.