Hoops and their implicational reducts (abstract)

W. Bloki; I. Ferreirim

Displaying similar documents to “Hoops and their implicational reducts (abstract)”

A note on Sugihara algebras.

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...

Closure Łukasiewicz algebras

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.

Varieties of distributive lattices with unary operations. II.

Priestley, H.A., Santos, R. (1998)

Portugaliae Mathematica

Similarity:

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:

The coherent algebras in the varieties $K_{n, m}$ of Ockham algebras

Ramalho, Margarita (1993)

Portugaliae mathematica

Similarity:

Some problems of BCK-algebras and Griss type algebras

Kiyoshi Iséki (1982)

Banach Center Publications

Similarity:

Modal Pseudocomplemented De Morgan Algebras

Aldo V. Figallo, Nora Oliva, Alicia Ziliani (2014)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

Modal pseudocomplemented De Morgan algebras (or $m p M$ -algebras for short) are investigated in this paper. This new equational class of algebras was introduced by A. V. Figallo and P. Landini ([Figallo, A. V., Landini, P.: Notes on $4$ -valued modal algebras Preprints del Instituto de Ciencias Básicas, Univ. Nac. de San Juan 1 (1990), 28–37.]) and they constitute a proper subvariety of the variety of all pseudocomplemented De Morgan algebras satisfying $x \land {(\sim x)}^{*} = {(\sim (x \land {(\sim x)}^{*}))}^{*}$ . Firstly, a topological duality for these...

On generalized MS-Algebras

Ramalho, Margarita, Sequeira, Margarida (1987)

Portugaliae mathematica

Similarity:

Subdirect products of certain varieties of unary algebras

Miroslav Ćirić, Tatjana Petković, Stojan Bogdanović (2007)

Czechoslovak Mathematical Journal

Similarity:

J. Płonka in [12] noted that one could expect that the regularization $ℛ (K)$ of a variety $K$ of unary algebras is a subdirect product of $K$ and the variety $D$ of all discrete algebras (unary semilattices), but is not the case. The purpose of this note is to show that his expectation is fulfilled for those and only those irregular varieties $K$ which are contained in the generalized variety $T D i r$ of the so-called trap-directable algebras.