Hoops and their implicational reducts (abstract)
W. Bloki, I. Ferreirim (1993)
Banach Center Publications
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
W. Bloki, I. Ferreirim (1993)
Banach Center Publications
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...
W. Szymański (1973)
Annales Polonici Mathematici
Similarity:
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.
Wiesław Dziobiak (1990)
Fundamenta Mathematicae
Similarity:
Václav Koubek (1990)
Commentationes Mathematicae Universitatis Carolinae
Similarity: