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