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.
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 -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 -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 . Firstly, a topological duality for these...
Flocks in universal and Boolean algebras
Gabriele Ricci (2010)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
We propose the notion of flocks, which formerly were introduced only in based algebras, for any universal algebra. This generalization keeps the main properties we know from vector spaces, e.g. a closure system that extends the subalgebra one. It comes from the idempotent elementary functions, we call "interpolators", that in case of vector spaces merely are linear functions with normalized coefficients. The main example, we consider outside vector spaces, concerns...