Free Suslin algebras
Functional monadic -valued Łukasiewicz algebras
Some functional representation theorems for monadic -valued Łukasiewicz algebras (qLk-algebras, for short) are given. Bearing in mind some of the results established by G. Georgescu and C. Vraciu (Algebre Boole monadice si algebre Łukasiewicz monadice, Studii Cercet. Mat. 23 (1971), 1027–1048) and P. Halmos (Algebraic Logic, Chelsea, New York, 1962), two functional representation theorems for qLk-algebras are obtained. Besides, rich qLk-algebras are introduced and characterized. In addition,...
Functorial bounds for cut elimination in L... .I.
Functorial polymorphism and semantic parametricity
Fuzzy multiply positive implicative hyper BCK-ideals of hyper BCK-algebras.
Fuzzy n-fold integral filters in BL-algebras
In this paper, we introduce the notion of fuzzy n-fold integral filter in BL-algebras and we state and prove several properties of fuzzy n-fold integral filters. Using a level subset of a fuzzy set in a BL-algebra, we give a characterization of fuzzy n-fold integral filters. Also, we prove that the homomorphic image and preimage of fuzzy n-fold integral filters are also fuzzy n-fold integral filters. Finally, we study the relationship among fuzzy n-fold obstinate filters, fuzzy n-fold integral filters...
Fuzzy quantum logics.
Quantum logic is a particular example of a fuzzy quantum logic. QL is semantically characterized by the class of all quantum MV algebras. The standard quantum MV algebra is based on the set of all effects in a Hilbert space. From the physical point of view, effects represent physical properties that may be noisy and ambiguous.