The implications of a specific pseudometric on the collection of languages over a finite alphabet are explored. In distinction from an approach in (Calude et al., 2009) that relates to collections of infinite or bi-infinite sequences, the present work is based on an adaptation of the “Besicovitch” pseudometric introduced by Besicovitch (1932) and elaborated in (Cattaneo et al., 1997) in the con...

In this paper we study subsystems, reverse subsystems and double subsystems of a fuzzy transition system. We characterize them in terms of fuzzy relation inequalities and equations, as eigen fuzzy sets of the fuzzy quasi-order Qδ and the fuzzy equivalence Eδ generated by fuzzy transition relations, and as linear combinations of aftersets and foresets of Qδ and equivalence classes of Eδ. We also...

Kinodynamic planning algorithms like Rapidly-Exploring Randomized Trees (RRTs) hold the promise of finding feasible trajectories for rich dynamical systems with complex, non-convex constraints. In practice, these algorithms perform very well on configuration space planning, but struggle to grow efficiently in systems with dynamics or differential constraints. This is due in part to the fact tha...

In this paper we prove strong completeness of axiomatic extensions of first-order strict core fuzzy logics with the so-called quasi-witnessed axioms with respect to quasi-witnessed models. As a consequence we obtain strong completeness of Product Predicate Logic with respect to quasi-witnessed models, already proven by M.C. Laskowski and S. Malekpour in [19]. Finally we study similar problems f...

small polygroups are multi-valued systems that satisfy group-likeaxioms. using the notion of “belonging ($epsilon$)” and “quasi-coincidence (q)” offuzzy points with fuzzy sets, the concept of ($epsilon$, $epsilon$ $vee$ q)-fuzzy subpolygroups isintroduced. the study of ($epsilon$, $epsilon$ $vee$ q)-fuzzy normal subpolygroups of a polygroupare dealt with. characterization and some of the fundam...

In this paper, by using the notions of ”not belonging” (∈) and ”non quasi-k-coincidence” (qk) of a fuzzy point with a fuzzy set, we define the notion of (∈,∈ ∨ qk)-fuzzy subgroups of a group which is a generalization of fuzzy subgroups and (∈,∈ ∨ q)-fuzzy subgroups. Aslo, we generalized the concept of ∈-level set, (∈ ∨ q)-level set and (∈,∈ ∨ q)level set by using ”not belonging” (∈) and ”non qu...

We initiate the study of interval-valued fuzzy quasi-ideal of a semigroup. In Section 2, we list some basic definitions in the later sections. In Section 3, we investigate interval-valued fuzzy subsemigroups and in Section 4, we define intervalvalued fuzzy quasi-ideals and establish some of their basic properties. In Section 5, we obtain characterizations of regular and intraregular semigroups ...

Right ternary near-rings (RTNR) are generalization of their binary counterpart and fuzzy soft sets are generalization of soft sets which are parameterized family of subsets of a universal set. In this paper fuzzy soft Nsubgroups, quasi-ideals and bi-ideals over a right ternary near-ring N are defined. The substructures N-subgroups, quasi-ideals and bi-ideals of an RTNR are characterized in term...