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:
Displaying similar documents to “Closure Łukasiewicz algebras”
On cyclic symmetric Heyting algebras.
The coherent algebras in the varieties of Ockham algebras
Ramalho, Margarita (1993)
Portugaliae mathematica
Similarity:
On a certain construction of lattice expansions
Hector Gramaglia (2004)
Mathematica Bohemica
Similarity:
We obtain a simple construction for particular subclasses of several varieties of lattice expansions. The construction allows a unified approach to the characterization of the subdirectly irreducible algebras
Dualities for Stone algebras, double Stone algebras, and relative Stone algebras
Brian A. Davey (1982)
Colloquium Mathematicae
Similarity:
Hoops and their implicational reducts (abstract)
W. Bloki, I. Ferreirim (1993)
Banach Center Publications
Similarity:
On n × m-valued Łukasiewicz-Moisil algebras
Claudia Sanza (2008)
Open Mathematics
Similarity:
n×m-valued Łukasiewicz algebras with negation were introduced and investigated in [20, 22, 23]. These algebras constitute a non trivial generalization of n-valued Łukasiewicz-Moisil algebras and in what follows, we shall call them n×m-valued Łukasiewicz-Moisil algebras (or LM n×m -algebras). In this paper, the study of this new class of algebras is continued. More precisely, a topological duality for these algebras is described and a characterization of LM n×m -congruences in terms of...
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...
On generalized MS-Algebras
Ramalho, Margarita, Sequeira, Margarida (1987)
Portugaliae mathematica
Similarity:
The Sheffer stroke operation reducts of basic algebras
Tahsin Oner, Ibrahim Senturk (2017)
Open Mathematics
Similarity:
In this study, a term operation Sheffer stroke is presented in a given basic algebra 𝒜 and the properties of the Sheffer stroke reduct of 𝒜 are examined. In addition, we qualify such Sheffer stroke basic algebras. Finally, we construct a bridge between Sheffer stroke basic algebras and Boolean algebras.