525 research outputs found
Valuations in Nilpotent Minimum Logic
The Euler characteristic can be defined as a special kind of valuation on
finite distributive lattices. This work begins with some brief consideration on
the role of the Euler characteristic on NM algebras, the algebraic counterpart
of Nilpotent Minimum logic. Then, we introduce a new valuation, a modified
version of the Euler characteristic we call idempotent Euler characteristic. We
show that the new valuation encodes information about the formul{\ae} in NM
propositional logic
On a New Construction of Pseudo BL-Algebras
We present a new construction of a class pseudo BL-algebras, called kite
pseudo BL-algebras. We start with a basic pseudo hoop . Using two injective
mappings from one set, , into the second one, , and with an identical
copy with the reverse order we construct a pseudo BL-algebra
where the lower part is of the form and the upper one is
. Starting with a basic commutative hoop we can obtain even a
non-commutative pseudo BL-algebra or a pseudo MV-algebra, or an algebra with
non-commuting negations. We describe the construction, subdirect irreducible
kite pseudo BL-algebras and their classification
State morphism MV-algebras
We present a complete characterization of subdirectly irreducible MV-algebras
with internal states (SMV-algebras). This allows us to classify subdirectly
irreducible state morphism MV-algebras (SMMV-algebras) and describe single
generators of the variety of SMMV-algebras, and show that we have a continuum
of varieties of SMMV-algebras
- …