Recently, Vemuri and Jayaram proposed a novel method of generating fuzzy implications from a given pair of fuzzy implications. Viewing this as a binary operation ~ on the set I of all fuzzy implications they obtained, for the first time, a monoid structure (I,~) on the set I. Some algebraic aspects of (I,~) had already been explored and hitherto unknown representation results for the Yager’s fa...

Most normal forms for fuzzy logics are versions of conjunctive and disjunctive classical normal forms. Unfortunately, they do not always preserve either tautologies or contradictions which are fundamental for automatic theorem provers based on refutation methods. De Morgan implicative systems are triples like the De Morgan system, but considering fuzzy implications instead of t-conorms. These s...

In this paper a novel neuro-fuzzy system is proposed where its learning is based on the creation of fuzzy relations by using new implication method without utilizing any exact mathematical techniques. Then, a simple memristor crossbar-based analog circuit is designed to implement this neuro-fuzzy system which offers very interesting properties. In addition to high connectivity between neurons a...

Among various approaches to fuzzy logics, we have chosen two of them, which are built up in a similar way. Although starting from diierent basic logical connectives, they both use interpretations based on Frank t-norms. Diierent interpretations of the implication lead to diierent axiomatizations, but most logics studied here are complete. We compare the properties, advantages and disadvantages ...

In this work, we introduce sufficient and necessary conditions for a pair of fuzzy conjunctor and implication considered in a multi-adjoint frame under which the usual combinations of multi-adjoint sufficiency, possibility and necessity operators form either antitone or isotone Galois connections.

Recently, the distributivity of fuzzy implications over t-norms, t-conorms and uninorms was studied in many articles. In this paper we characterize functions which satisfy one of the four generalized distributivity equations of classical implication in the case when t-conorms are continuous and Archimedean. Using the obtained characterizations we describe some solutions which are fuzzy implicat...

In Gödel fuzzy propositional logic, neither conjunction nor implication is expressible (definable) in terms of the remaining three logical connectives. In classical propositional logic, propositions are associated with two truth values 1 (truth) and 0 (falsity). In fuzzy logics further (intermediate) truth values lying between 0 and 1 are possible. Usually the truth values are linearly ordered ...

This paper is concerned with the foundations of fuzzy reasoning and its relationships with other logics of uncertainty. The definitions of fuzzy logics are first examined and the role of fuzzification discussed. It is shown that fuzzification of PC gives a known multivalued logic but with inappropriate semantics of implication and various alternative forms of implication are discussed. In the m...

We consider a multiple-rule, generalized modus ponens inference scheme, with an interpretation based on compositional rule of inference (CRI) and a residuated implication. We show that such a system is equivalent, as far as CRI is concerned, to a system that satis5es the “basic requirement for fuzzy reasoning”, proposed by Turksen and Tian (Fuzzy Sets and Systems 58 (1993) 3–40). We establish a...

This contribution is concerned with a detailed investigation of linearity axioms for fuzzy orderings. Different existing concepts are evaluated with respect to three fundamental correspondences from the classical case—linearizability of partial orderings, intersection representation, and one-to-one correspondence between linearity and maximality. As a main result, we obtain that it is virtually...