Peterson’s Intermediate Syllogisms, generalizing Aristotelian syllogisms by intermediate quantifiers ‘Many’, ‘Most’ and ‘Almost all’, are studied. It is demonstrated that, by associating certain values V, W and U on standard Lukasiewicz MV–algebra with the first and second premise and the conclusion, respectively, the validity of a corresponding intermediate syllogism is determined by a simple ...

We first review the description of flag manifolds in terms of Plücker coordinates and coherent states. Using this description, we construct fuzzy versions of the algebra of functions on these spaces in both operatorial and star product language. Our main focus is here on flag manifolds appearing in the double fibration underlying the most common twistor correspondences. After extending the Plüc...

In this paper the notion of fuzzy BF -algebra and fuzzy topological BF -algebras are introduced. We stated and proved some theorem in fuzzy BF -algebras and level subalgebras. Finally the Foster’s results on homomorphic images and inverse images in fuzzy topological BF algebras are studied. Mathematics Subject Classification: 06F35, 03G25, 94D05

We give de nitions for fuzzy subalgebras, for fuzzy relations on fuzzy sets, and for fuzzy compatibility, which generalize, improve and correct the existing ones. The unit interval is replaced here by a partially ordered algebra. Then we study their connection with the corresponding crisp concepts through their newly de ned Q-cuts.

The notion of a linear space is generalized to the case where the underlying algebra is a commutative monoid and the set of scalars is a semiring reduct of a BL-algebra or an MValgebra. The notions of linear dependence and independence are also introduced and necessary and sufficient conditions when vectors form a basis of a semi-linear space are given. A linear mapping between two semilinear s...

This paper one of the series of papers in which we lay down the foundations for design of trustworthy computing systems. We propose here a methodology to perform behavior-based intrusion detection on security protocols using fuzzy relational methods. Fuzzified Allen temporal algebra plays an important role in capturing the time dimension of concurrent activites of principals as well as of intru...

We present a fuzzy version of the notion relational Galois connection between transitive directed graphs (fuzzy T-digraphs) on specific setting in which underlying algebra truth values is complete Heyting algebra. The components such are relations satisfying certain reasonable properties expressed terms so-called full powering. Moreover, we provide necessary and sufficient condition under it po...

The purpose of this paper is study the relationship between the categories of fuzzy multialgebras and crisp algebras. In this regards first we briefly study the categories of multialgebras and fuzzy multialgebras and then by using the fundamental relation of multialgebras we construct a functor from category of fuzzy multialgebras to the category of fuzzy algebras and hence. Hence it can be der...

The so called Fuzzy Logic in Narrow Sense (FLn) is the basic constituent of mathematical fuzzy logic. Its development has been initiated by the paper of J. A Goguen [7] and the first, highly sophisticated paper is that of J. Pavelka [24]. His work has been continued by the author of this paper in [14] and especially in the book [13]. Fuzzy logic has been established as a generalization of class...