367 research outputs found
Algebraic Aspects of Families of Fuzzy Languages
We study operations on fuzzy languages such as union, concatenation, Kleene , intersection with regular fuzzy languages, and several kinds of (iterated) fuzzy substitution. Then we consider families of fuzzy languages, closed under a fixed collection of these operations, which results in the concept of full Abstract Family of Fuzzy Languages or full AFFL. This algebraic structure is the fuzzy counterpart of the notion of full Abstract Family of Languages that has been encountered frequently in investigating families of crisp (i.e., non-fuzzy) languages. Some simpler and more complicated algebraic structures (such as full substitution-closed AFFL, full super-AFFL, full hyper-AFFL) will be considered as well.\ud
In the second part of the paper we focus our attention to full AFFL's closed under iterated parallel fuzzy substitution, where the iterating process is prescribed by given crisp control languages. Proceeding inductively over the family of these control languages, yields an infinite sequence of full AFFL-structures with increasingly stronger closure properties
An analysis of the logic of Riesz Spaces with strong unit
We study \L ukasiewicz logic enriched with a scalar multiplication with
scalars taken in . Its algebraic models, called {\em Riesz MV-algebras},
are, up to isomorphism, unit intervals of Riesz spaces with a strong unit
endowed with an appropriate structure. When only rational scalars are
considered, one gets the class of {\em DMV-algebras} and a corresponding
logical system. Our research follows two objectives. The first one is to deepen
the connections between functional analysis and the logic of Riesz MV-algebras.
The second one is to study the finitely presented MV-algebras, DMV-algebras and
Riesz MV-algebras, connecting them from logical, algebraic and geometric
perspective
- …