Pseudo-t-norms and pseudo-BL algebras

Abstract

BL algebras were introduced by Ha Âjek as algebraic structures for his Basic Logic, starting from continuous t-norms on 0; 1. MV algebras, product algebras and Go Èdel algebras are particular cases of BL algebras. On the other hand, the pseudo-MV algebras extend the MV-algebras in the same way in which the arbitrary l-groups extend the abelian l-groups. We have generalized the BL algebras and pseudo-MV algebras, introducing the pseudo-BL algebras. In this paper we introduce weak-BL algebras and weak-pseudo-BL algebras. We also introduce non-commutative t-norms (we call them pseudo-t-norms) and use them in constructing pseudo-BL algebras and weak-pseudo-BL algebras. IntroductionWehave started from the following situation:(1) We know BL algebras, algebraic structures for which the principal examples come from: ± the real interval [0, 1] with the structure given by a continuous t-norm and ± abelian l-groups.(2) The non-commutative case (pseudo-MV algebras and pseudo-BL algebras) was developed starting from arbitrary l-groups.The natural problem was: can be de®ned a concept of pseudo-t-norm (by weaking the axioms of t-norms) on [0, 1] or, more general, on bounded chains, bounded lattices, in order to obtain new examples of pseudo-BL algebras?The present paper tries to answer to this problem in the following way:(1) We de®ne the notion of pseudo-t-norm, by throwing away the axiom of commutativity; (2) On arbitrary l-groups, we re®nd the already known examples;(3) On [0, 1], the condition of continuity is replaced by the weaker condition of left continuity in both variables. Then, [0, 1] is endowed with a weaker structure, that of weak-pseudo-BL algebra. This structure gives birth to the new concept of weak-BL algebra, in the commutative case.In conclusion, we de®ne a concept of pseudo-t-norm, that leads to pseudo-BL algebras on arbitrary l-groups; on [0, 1], we can not do this, without exiting from commutative case, the adequate structure being that of weakpseudo-BL algebra. In this paper we present a general up-today picture of the algebra of non-commutative logic. t-Norms and U-operatorsFirst, we shall recall the de®nitions of t-norms (t-conorms) and of their associated U-operators de®ned on the real interval [0, 1]. De®nition 2.1 (Cf. [32]) (a) A binary operation T on the real interval [0, 1] is a t-norm iff: (t0) it is commutative, (t1) it is associative, (t2) it is non-decreasing (isotone) in the ®rst argument (i.e. if x y, then Tx; z T y; z, for Focus All our gratitude to Radko Mesiar for his patient reading of the manuscript. We all three are new in the ®eld of t-norms, therefore his very kind suggestions were very useful to improve the paper, as for example: to complete the bibliography with [13, 14, 18, 41, 42], to modify the proof of Theorem 5.15; he noted that our Examples 8.3(1) is a left-continuous modi®cation of Example 1.12 from [42] and our further examples of pseudo-t-norms are ordinal sums in the sense of Clifford (Theorem 3.42 from [42] or [41]); he also noted that then relevant residual operators h...

Lattice $F$-transform for functions in two variables

“…For details on residuated lattices, we refer the works of (cf., [1,2,4,5,6,26]) . We begin with the following.…”

MTL Algebra of Fractions and Maximal MTL Algebra of Quotients

“…Corollary 5 (Esteva & Godo, 2001;Flondor, Georgescu, & Iorgulescu, 2001) Let L ∈ MT L. For every x, y, z ∈ L:…”

“…Monoidal logic (ML from now on), introduced by Hőhle (1995), is a logic whose algebraic counterpart is the class of residuated lattices; MT L algebras (see Esteva & Godo, 2001) are algebraic structures for the Esteva-Godo monoidal t-norm based logic (MT L), a many-valued propositional calculus that formalizes the structure of the real unit interval [0,1], induced by a left-continuous t-norm. MT L algebras were independently introduced in Flondor, Georgescu, and Iorgulescu (2001) under the name weak-BL algebras. The results obtained in this paper for MT L algebras are analogously to the ones obtained for BL algebras in Buşneag and Piciu (2005).…”

Interior and closure operators on bounded residuated lattices

“…Bounded integral residuated lattices form a large class of algebras containing some classes of algebras behind manyvalued and fuzzy logics, such as pseudo MV-algebras [12] (or equivalently GMV-algebras [16]), pseudo BL-algebras [15], pseudo MTL-algebras [10] and R -monoids [8], and consequently the classes of their commutative cases, i.e. MValgebras [2], BL-algebras [13], MTL-algebras [9] and commutative R -monoids [7].…”