Semiring-Valued Fuzzy Sets and F-Transform

The notion of a semiring-valued fuzzy set is introduced for special commutative partially pre-ordered semirings, including basic operations with these fuzzy structures. It is showed that many standard MV-algebra-valued fuzzy type structures with standard operations, such as hesitant, intuitionistic, neutrosophic or fuzzy soft sets are, for appropriate semirings, isomorphic to semiring-valued fuzzy sets with operations defined. F-transform and inverse F-transform are introduced for semiring-valued fuzzy sets and properties of these transformations are investigated. Using the transformation of MV-algebra-valued fuzzy type structures to semiring-valued fuzzy sets, the F-transforms for these fuzzy type structures is introduced. The advantage of this procedure is, among other things, that the properties of this F-transform are analogous to the properties of the classical F-transform and because these properties are proven for any semiring-valued fuzzy sets, it is not necessary to prove them for individual fuzzy type structures.

New definition of MV-semimodules

In recent years, A. Di Nola et al. studied the notions of MV-semiring and semimodules and investigated related results [9, 10, 12, 26]. Now in this paper, by using an MV-semiring and an MV-algebra, we introduce the new definition of MV-semimodule, study basic properties and find some examples. Then we study A-ideals on MV-semimodules and Q-ideals on MV-semirings, and by using them, we study the quotient structures of MV-semimodule. Finally, we present the notions of prime A-ideal, torsion free MV-semimodule and annihilator on MV-semimodule and we study the relations among them.

Equivalence à la Mundici for commutative lattice-ordered monoids

We provide a generalization of Mundici’s equivalence between unital Abelian lattice-ordered groups and MV-algebras: the category of unital commutative lattice-ordered monoids is equivalent to the category of MV-monoidal algebras. Roughly speaking, unital commutative lattice-ordered monoids are unital Abelian lattice-ordered groups without the unary operation $$x \mapsto -x$$ x ↦ - x . The primitive operations are $$+$$ + , $$\vee $$ ∨ , $$\wedge $$ ∧ , 0, 1, $$-1$$ - 1 . A prime example of these structures is $$\mathbb {R}$$ R , with the obvious interpretation of the operations. Analogously, MV-monoidal algebras are MV-algebras without the negation $$x \mapsto \lnot x$$ x ↦ ¬ x . The primitive operations are $$\oplus $$ ⊕ , $$\odot $$ ⊙ , $$\vee $$ ∨ , $$\wedge $$ ∧ , 0, 1. A motivating example of MV-monoidal algebra is the negation-free reduct of the standard MV-algebra $$[0, 1]\subseteq \mathbb {R}$$ [ 0 , 1 ] ⊆ R . We obtain the original Mundici’s equivalence as a corollary of our main result.

Essential extensions of filters in residuated lattices

We define the essential extension of a filter in the residuated lattice A associated to an ideal of L(A) and investigate its related properties. We prove the residuated lattice A is a Boolean algebra, G(RL)-algebra or MV -algebra if and only if the essential extension of {1} associated to A \ P is a Boolean filter, G-filter or MV -filter (for all P ∈ SpecA), respectively. Also, some properties of lattice of essential extensions are studied.

Ideals in residuated lattices

"The notion of ideal in residuated lattices is introduced in [Kengne, P. C., Koguep, B. B., Akume, D. and Lele, C., L-fuzzy ideals of residuated lattices, Discuss. Math. Gen. Algebra Appl., 39 (2019), No. 2, 181–201] and [Liu, Y., Qin, Y., Qin, X. and Xu, Y., Ideals and fuzzy ideals in residuated lattices, Int. J. Math. Learn & Cyber., 8 (2017), 239–253] as a natural generalization of that of ideal in MV algebras (see [Cignoli, R., D’Ottaviano, I. M. L. and Mundici, D., Algebraic Foundations of many-valued Reasoning, Trends in Logic-Studia Logica Library 7, Dordrecht: Kluwer Academic Publishers, 2000] and [Chang, C. C., Algebraic analysis of many-valued logic, Trans. Amer. Math. Soc., 88 (1958), 467–490]). If A is an MV algebra and I is an ideal on A then the binary relation x ∼I y iff x^{*}Ꙩ y; x Ꙩy^{*} ∈ I , for x; y ∈ A; is a congruence relation on A. In this paper we find classes of residuated lattices for which the relation ∼ I (defined for MV algebras) is a congruence relation and we give new characterizations for i-ideals and prime i-ideals in residuated lattices. As a generalization of the case of BL algebras (see [Lele, C. and Nganou, J. B., MV-algebras derived from ideals in BL-algebras, Fuzzy Sets and Systems, 218 (2013), 103–113]), we investigate the relationship between i-ideals and deductive systems in residuated lattices."

Fixpoint Theory – Upside Down

Knaster-Tarski’s theorem, characterising the greatest fix- point of a monotone function over a complete lattice as the largest post-fixpoint, naturally leads to the so-called coinduction proof principle for showing that some element is below the greatest fixpoint (e.g., for providing bisimilarity witnesses). The dual principle, used for showing that an element is above the least fixpoint, is related to inductive invariants. In this paper we provide proof rules which are similar in spirit but for showing that an element is above the greatest fixpoint or, dually, below the least fixpoint. The theory is developed for non-expansive monotone functions on suitable lattices of the form $$\mathbb {M}^Y$$ M Y , where Y is a finite set and $$\mathbb {M}$$ M an MV-algebra, and it is based on the construction of (finitary) approximations of the original functions. We show that our theory applies to a wide range of examples, including termination probabilities, behavioural distances for probabilistic automata and bisimilarity. Moreover it allows us to determine original algorithms for solving simple stochastic games.

Martingale Convergence Theorem for the Conditional Intuitionistic Fuzzy Probability

For the first time, the concept of conditional probability on intuitionistic fuzzy sets was introduced by K. Lendelová. She defined the conditional intuitionistic fuzzy probability using a separating intuitionistic fuzzy probability. Later in 2009, V. Valenčáková generalized this result and defined the conditional probability for the MV-algebra of inuitionistic fuzzy sets using the state and probability on this MV-algebra. She also proved the properties of conditional intuitionistic fuzzy probability on this MV-algebra. B. Riečan formulated the notion of conditional probability for intuitionistic fuzzy sets using an intuitionistic fuzzy state. We use this definition in our paper. Since the convergence theorems play an important role in classical theory of probability and statistics, we study the martingale convergence theorem for the conditional intuitionistic fuzzy probability. The aim of this contribution is to formulate a version of the martingale convergence theorem for a conditional intuitionistic fuzzy probability induced by an intuitionistic fuzzy state m. We work in the family of intuitionistic fuzzy sets introduced by K. T. Atanassov as an extension of fuzzy sets introduced by L. Zadeh. We proved the properties of the conditional intuitionistic fuzzy probability.

Annihilator graphs of MV-algebras

In this paper, we introduce the annihilator graph [Formula: see text] of an MV-algebra [Formula: see text]. We show that [Formula: see text] contains the zero-divisor graph [Formula: see text] as a spanning subgraph. We then prove that [Formula: see text] if and only if [Formula: see text]. Moreover, we obtain that the girth [Formula: see text].

Logical Entropy of Partitions in Hyperproduct MV-algebras

In this paper, we introduce the algebraic structure hyperproduct MV-algebras which is a generalization of product MV-algebras. In addition, we study the logical entropy and the logical conditional entropy of partitions in a hyperproduct MV-algebra and provide their properties.