-measures are special fuzzy measures decomposable with respect to some fixed t-conorm . We investigate the relationship of -measures with some distinguished properties of fuzzy measures, such as subadditivity, submodularity, belief, etc. We show, for example, that each -measure is a plausibility measure, and that each -measure is submodular whenever is 1-Lipschitz.
We shall prove that Sacks algebra is nowhere -distributive, which implies that Sacks forcing collapses to .
We provide upper and lower bounds in consistency strength for the theories “ZF + + All successor cardinals except successors of uncountable limit cardinals are regular + Every uncountable limit cardinal is singular + The successor of every uncountable limit cardinal is singular of cofinality ω” and “ZF + + All successor cardinals except successors of uncountable limit cardinals are regular + Every uncountable limit cardinal is singular + The successor of every uncountable limit cardinal is singular...
The cardinality of a finite fuzzy set can be defined as a scalar or a fuzzy quantity. The fuzzy cardinalities are represented by means the generalized natural numbers, where it is possible to define arithmetical operations, in particular the division by a natural number. The main result obtained in this paper is that, if determined conditions are assured, the scalar cardinality of a finite fuzzy set, B, whose fuzzy cardinality is a rational part of the fuzzy cardinality of another fuzzy set, A,...
In [11] and [12] Trillas et al. introduced the study of contradiction in the framework of Fuzzy Logic because of the significance to avoid contradictory outputs in the processes of inference. Later, the study of contradiction in the framework of intuitionistic or Atanassov s fuzzy sets was initiated in [6] and [5]. The aim of this work is to go into the problem of measuring the self-contradiction in the case of intuitionistc fuzzy sets, since it is interesting to know not only if a set is contradictory,...
We show that if is an uncountable AD (almost disjoint) family of subsets of then the space does not admit a continuous selection; moreover, if is maximal then does not even admit a continuous selection on pairs, answering thus questions of T. Nogura.
Let . For n ≥ 2, we prove that if Selivanovski measurable functions from to Z give as preimages of H all Σₙ¹ subsets of , then so do continuous injections.
We characterize some bivariate semicopulas and, among them, the semicopulas satisfying a Lipschitz condition. In particular, the characterization of harmonic semicopulas allows us to introduce a new concept of depedence between two random variables. The notion of multivariate semicopula is given and two applications in the theory of fuzzy measures and stochastic processes are given.
We say that an ideal I on is semiproper if the corresponding poset is semiproper. In this paper we investigate properties of semiproper ideals on .
Schmets [22] has developed a measure theory from a generalized notion of a semiring of sets. Goguadze [15] has introduced another generalized notion of semiring of sets and proved that all known properties that semiring have according to the old definitions are preserved. We show that this two notions are almost equivalent. We note that Patriota [20] has defined this quasi-semiring. We propose the formalization of some properties developed by the authors.
This article proposes the formalization of some examples of semiring of sets proposed by Goguadze [8] and Schmets [13].
Recently, Drygaś generalized nullnorms and t-operators and introduced semi-t-operators by eliminating commutativity from the axiom of t-operators. This paper is devoted to the study of the discrete counterpart of semi-t-operators on a finite totally ordered set. A characterization of semi-t-operators on a finite totally ordered set is given. Moreover, The relations among nullnorms, t-operators, semi-t-operators and pseudo-t-operators (i. e., commutative semi-t-operators) on a finite totally ordered...
It is known that all subspaces of ω₁² have the property that every pair of disjoint closed sets can be separated by disjoint -sets (see [4]). It has been conjectured that all subspaces of ω₁ⁿ also have this property for each n < ω. We exhibit a subspace of ⟨α,β,γ⟩ ∈ ω₁³: α ≤ β ≤ γ which does not have this property, thus disproving the conjecture. On the other hand, we prove that all subspaces of ⟨α,β,γ⟩ ∈ ω₁³: α < β < γ have this property.