We generalize the previous results that were obtained by Kohout for relations based on fuzzy Basic Logic systems (BL) of Hájek and also for relational systems based on left-continuous tnorms. The present paper extends generalized morphisms into the realm of Monoidal Fuzzy Logics by first proving and then using relational inequalities over pseudo-associative BK-products of relations in these log...

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.

This paper addresses the problem of temporal-logic-based planning for bipedal robots in uncertain environments. We first propose an Interval Markov Decision Process abstraction locomotion (IMDP-BL). Motion perturbations from multiple sources uncertainty are incorporated into our model using stacked Gaussian process learning order to achieve formal guarantees on behavior system. consider tasks w...

In this paper, the concept of fuzzy local ω-language, Büchi fuzzy local ω-language are studied and we give some closure properties of fuzzy local ω-languages. We also establish relationship between deterministic fuzzy local automaton and fuzzy local ω-language. Further we show that every fuzzy regular ω-language is a projection of a Büchi fuzzy local ω-language.

For a givenweighted finite automaton over a strong bimonoid we construct its reducedNerode automaton, which is crisp-deterministic and equivalent to the original weighted automaton with respect to the initial algebra semantics.We show that the reducedNerode automaton is even smaller than theNerode automaton, which was previously used in determinization related to this semantics. We determine ne...

In the current study, we define different L-valued operators on LB-valued general fuzzy automata or simply GFA, where B is considered as a complete infinitely distributive lattice of propositions about GFA. particular, this study demonstrates that successor and predecessor induce co-topologies while residuated approximation topologies state set given Further, show continuity separation properti...

This paper focuses on the issue of how generalizations of continuous and leftcontinuous t-norms over linearly ordered sets should be from a logical point of view. Taking into account recent results in the scope of algebraic semantics for fuzzy logics over chains with a monoidal residuated operation, we advocate linearly ordered BL-algebras and MTL-algebras as adequate generalizations of continu...