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 search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Abad, M., Díaz Varela, J. P., Fernández, A., Meske, N., Rueda, L. (2001)
Portugaliae Mathematica. Nova Série
Similarity:
Ramalho, Margarita (1993)
Portugaliae mathematica
Similarity:
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
Brian A. Davey (1982)
Colloquium Mathematicae
Similarity:
W. Bloki, I. Ferreirim (1993)
Banach Center Publications
Similarity:
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...
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...
Ramalho, Margarita, Sequeira, Margarida (1987)
Portugaliae mathematica
Similarity:
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.