This paper is a contribution to the discussion of the problem, whether there is a fuzzy logic that can be considered as the real fuzzy logic. We give reasons for taking IMTL, BL, LΠ and Ev L (fuzzy logic with evaluated syntax) as those fuzzy logics that should be indeed taken as the real fuzzy logics.

BL-algebras, introduced by P.Hájek, form an algebraic counterpart of the basic fuzzy logic. In the paper it is shown that BL-algebras are the duals of bounded representable DRl-monoids. This duality enables us to describe some structure properties of BL-algebras.

Fuzzy tree automata are mathematical devices for modeling and analyzing vaguely defined structures. The behavior of a fuzzy automaton generates language by mapping set regular trees on ranked alphabet to membership values. It calculates the grade using rules that process their structural characteristics. This paper deals with constructing models satisfies given logical propositions (called prop...

Algebraic properties and structures of intuitionistic $$L-$$ fuzzy multiset finite automata (ILFMA) are discussed through congruences on a semigroup in this paper. Firstly, we put forward the notion compatible relation, monoid associated with relation can be effectively constructed, construct two monoids different congruence relations given ILFMA, then prove that they isomorphic. Furthermore, u...

We introduce MK-fuzzy automata over a bimonoid K which is related to the fuzzification of the McCarthy-Kleene logic. Our automata are inspired by, and intend to contribute to, practical applications being in development in a project on runtime network monitoring based on predicate logic. We investigate closure properties of the class of recognizableMK-fuzzy languages accepted by MKfuzzy automat...