Hoops and their implicational reducts (abstract)
W. Bloki, I. Ferreirim (1993)
Banach Center Publications
Similarity:
Displaying similar documents to “A note on Sugihara algebras.”
Hoops and their implicational reducts (abstract)
Closure Łukasiewicz algebras
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.
Simple and subdirectly irreducibles bounded distributive lattices with unary operators.
Celani, Sergio Arturo (2006)
International Journal of Mathematics and Mathematical Sciences
Similarity:
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...
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:
Very true operators on MTL-algebras
Jun Tao Wang, Xiao Long Xin, Arsham Borumand Saeid (2016)
Open Mathematics
Similarity:
The main goal of this paper is to investigate very true MTL-algebras and prove the completeness of the very true MTL-logic. In this paper, the concept of very true operators on MTL-algebras is introduced and some related properties are investigated. Also, conditions for an MTL-algebra to be an MV-algebra and a Gödel algebra are given via this operator. Moreover, very true filters on very true MTL-algebras are studied. In particular, subdirectly irreducible very true MTL-algebras are...
Varieties of distributive lattices with unary operations. II.
Priestley, H.A., Santos, R. (1998)
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