All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 159 Next

Displaying 3161 – 3180 of 5989

Showing per page

On the constructions of t-norms and t-conorms on some special classes of bounded lattices

Emel Aşıcı (2021)

Kybernetika

Recently, the topic related to the construction of triangular norms and triangular conorms on bounded lattices using ordinal sums has been extensively studied. In this paper, we introduce a new ordinal sum construction of triangular norms and triangular conorms on an appropriate bounded lattice. Also, we give some illustrative examples for clarity. Then, we show that a new construction method can be generalized by induction to a modified ordinal sum for triangular norms and triangular conorms on...

On the continuity set of an Omega rational function

Olivier Carton, Olivier Finkel, Pierre Simonnet (2008)

RAIRO - Theoretical Informatics and Applications

In this paper, we study the continuity of rational functions realized by Büchi finite state transducers. It has been shown by Prieur that it can be decided whether such a function is continuous. We prove here that surprisingly, it cannot be decided whether such a function f has at least one point of continuity and that its continuity set C(f) cannot be computed. In the case of a synchronous rational function, we show that its continuity set is rational and that it can be computed. Furthermore...

On the Converse of Caristi's Fixed Point Theorem

Szymon Głąb (2004)

Bulletin of the Polish Academy of Sciences. Mathematics

Let X be a nonempty set of cardinality at most 2 ℵ ₀ and T be a selfmap of X. Our main theorem says that if each periodic point of T is a fixed point under T, and T has a fixed point, then there exist a metric d on X and a lower semicontinuous map ϕ :X→ ℝ ₊ such that d(x,Tx) ≤ ϕ(x) - ϕ(Tx) for all x∈ X, and (X,d) is separable. Assuming CH (the Continuum Hypothesis), we deduce that (X,d) is compact.

On the decidability of semigroup freeness∗

Julien Cassaigne, Francois Nicolas (2012)

RAIRO - Theoretical Informatics and Applications

This paper deals with the decidability of semigroup freeness. More precisely, the freeness problem over a semigroup S is defined as: given a finite subset X ⊆ S, decide whether each element of S has at most one factorization over X. To date, the decidabilities of the following two freeness problems have been closely examined. In 1953, Sardinas and Patterson proposed a now famous algorithm for the freeness problem over the free monoids....

On the decidability of semigroup freeness

Julien Cassaigne, Francois Nicolas (2012)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

This paper deals with the decidability of semigroup freeness. More precisely, the freeness problem over a semigroup S is defined as: given a finite subset X ⊆ S, decide whether each element of S has at most one factorization over X. To date, the decidabilities of the following two freeness problems have been closely examined. In 1953, Sardinas and Patterson proposed a now famous algorithm for the freeness problem over the free monoids. In 1991, Klarner, Birget and Satterfield proved the undecidability...

On the decidability of semigroup freeness∗

Julien Cassaigne, Francois Nicolas (2012)

RAIRO - Theoretical Informatics and Applications

This paper deals with the decidability of semigroup freeness. More precisely, the freeness problem over a semigroup S is defined as: given a finite subset X ⊆ S, decide whether each element of S has at most one factorization over X. To date, the decidabilities of the following two freeness problems have been closely examined. In 1953, Sardinas and Patterson proposed a now famous algorithm for the freeness problem over the free monoids....

On the diameter of the Banach-Mazur set

Gilles Godefroy (2010)

Czechoslovak Mathematical Journal

On every subspace of l ∞ ( ℕ ) which contains an uncountable ω -independent set, we construct equivalent norms whose Banach-Mazur distance is as large as required. Under Martin’s Maximum Axiom (MM), it follows that the Banach-Mazur diameter of the set of equivalent norms on every infinite-dimensional subspace of l ∞ ( ℕ ) is infinite. This provides a partial answer to a question asked by Johnson and Odell.

On the difference property of Borel measurable functions

Hiroshi Fujita, Tamás Mátrai (2010)

Fundamenta Mathematicae

If an atomlessly measurable cardinal exists, then the class of Lebesgue measurable functions, the class of Borel functions, and the Baire classes of all orders have the difference property. This gives a consistent positive answer to Laczkovich's Problem 2 [Acta Math. Acad. Sci. Hungar. 35 (1980)]. We also give a complete positive answer to Laczkovich's Problem 3 concerning Borel functions with Baire-α differences.

On the direct product of uninorms on bounded lattices

Emel Aşıcı, Radko Mesiar (2021)

Kybernetika

In this paper, we study on the direct product of uninorms on bounded lattices. Also, we define an order induced by uninorms which are a direct product of two uninorms on bounded lattices and properties of introduced order are deeply investigated. Moreover, we obtain some results concerning orders induced by uninorms acting on the unit interval [ 0 , 1 ] .

Currently displaying 3161 – 3180 of 5989