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:
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.
Celani, Sergio Arturo (2006)
International Journal of Mathematics and Mathematical Sciences
Similarity:
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...
Abad, M., Díaz Varela, J. P., Fernández, A., Meske, N., Rueda, L. (2001)
Portugaliae Mathematica. Nova Série
Similarity:
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...
Priestley, H.A., Santos, R. (1998)
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