This  paper extends the notion of fuzzy $BCK$-subalgebras to fuzzy hyper $BCK$-subalgebras and defines an extended fuzzy $BCK$-subalgebras. This study  considers  a type of fuzzy hyper  $BCK$-ideals  in this  hyperstructure  and  describes   the  relationship  between hyper  $BCK$-ideals and  fuzzy hyper  $BCK$-ideals.  In fact, it tries to introduce   a  strongly  regular  relation  on hyper $...

Institute of Mathematics of the Czech Academy of Sciences provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This document has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library A. M. Bica has constructed in [6]...

We consider the state complexity of extensions of the Kleene star and quotient operations to unranked tree languages. Due to the nature of the tree structure, there are two distinct ways to define the star operation for trees, we call these operations, respectively, bottom-up and top-down star. We show that (n+ 3 2 )2 states are sufficient and necessary in the worst case to recognize the bottom...

the main purpose of this paper is to consider the t-best simultaneousapproximation in fuzzy normed spaces. we develop the theory of t-bestsimultaneous approximation in quotient spaces. then, we discuss the relationshipin t-proximinality and t-chebyshevity of a given space and its quotientspace.

Propositional Product Logic is known to be standard finite-strong complete but not a strong complete, that is, it is complete for deductions only from finite sets of premises with respect to evaluations on the standard product chain over the real unit interval. On the other hand, Montagna has defined a logical system, an axiomatic extension of the Hájek’s Basic Fuzzy Logic BL with an storage op...

Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appear powerful but recalcitrant, neither yielding to analysis and reasoning through a purely continuous-time modeling as with systems of differential equations, nor open to inferential processes commonly used for discrete...

This paper presents some features of the Vaucanson platform. We describe some original algorithms on weighted automata and transducers (computation of the quotient, conversion of a regular expression into a weighted automaton, and composition). We explain how complex declarations due to the generic programming are masked from the user and finally we present a proposal for an XML format that all...

This paper addresses the problem of turning a rational (ie regular) expression into a finite automaton. We formalize and generalize the idea of “partial derivatives” introduced in 1995 by V. Antimirov, in order to obtain a construction of an automaton with multiplicity from a rational expression describing a formal power series with coefficients in a semiring. We first define precisely what is ...

This paper describes user location and tracking on indoor scenarios through an ambient network. User location and tracking are considered in order to provide complete intelligent location based services. Imprecise location based on radio-frequency estimations can be processed by a fuzzy location algorithm in order to provide high location near to 90%. Fuzzy tracking is also provided by means of...