4,426 research outputs found
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
The variety generated by all the ordinal sums of perfect MV-chains
We present the logic BL_Chang, an axiomatic extension of BL (see P. H\'ajek -
Metamathematics of fuzzy logic - 1998, Kluwer) whose corresponding algebras
form the smallest variety containing all the ordinal sums of perfect MV-chains.
We will analyze this logic and the corresponding algebraic semantics in the
propositional and in the first-order case. As we will see, moreover, the
variety of BL_Chang-algebras will be strictly connected to the one generated by
Chang's MV-algebra (that is, the variety generated by all the perfect
MV-algebras): we will also give some new results concerning these last
structures and their logic.Comment: This is a revised version of the previous paper: the modifications
concern essentially the presentation. The scientific content is substantially
unchanged. The major variations are: Definition 2.7 has been improved.
Section 3.1 has been made more compact. A new reference, [Bus04], has been
added. There is some minor modification in Section 3.
- ā¦