(T; N) and Residual Fuzzy Co-Implication in Dual Heyting Algebra with Applications
|
|
- Derek Blake
- 6 years ago
- Views:
Transcription
1 Preprints ( O PEER-REVIEWED Posted: 3 August 2016 Article (; ) Residual Fuzzy Co-Implication in Dual Heyting Algebra with Applications Iqbal H. ebril Department of Mathematics cience Faculty aibah University Medina audi Arabia; iqbal501@hotmail.com; el.: Abstract: Recently many authors have been interested to introduce fuzzy implications over t-norms t-conorms. In this paper we introduce ( ) residuum fuzzy implication for Dubois t-norm Hamacher's t-norm. Also new concepts so-called ( ) residual fuzzy co-implication in dual Heyting Algebra are investigated. ome examples as well as application are discussed as well. Keywords: Fuzzy implications; implication; residuum t-norm; ( ) co-implication PAC: 0101 co-implication; residual 1 Introduction In fuzzy logic the basic theory of connective AD ( ) OR ( ) O ( ) are often modeled as (strong negations t-norm t-conorms). An important notion in fuzzy set theory is that of t-norm ( ) t-conorms ( ) strong negations ( ) C that are used to define a generalized intersection union negation of fuzzy sets (see [5] [6]). Implication co-implication functions play an important notion in fuzzy logic approximate reasoning fuzzy control intuitionistic fuzzy logic approximate reasoning of expert system (see ([1] [2] [3] [4] [7] [8] [9]). he notion of t-norm t-conorm turned out to be basic tools for probabilistic metric spaces (see [10] an [11]) but also in several other parts have found diverse applications in the theory of fuzzy sets fuzzy decision making in models of certain many-valued logics or in multivariate statistical analysis. (see [12] [13] [10]). 2 Preliminaries he logic connectives like negation is interpreted by a strong negation conjunction by a triangular norm disjunction by triangular conorm. [14]
2 Preprints ( O PEER-REVIEWED Posted: 3 August of riangular orm riangular conorm he conjunction in fuzzy logic it is often modeled as follows: Definition 2.1. [10]: A mapping from [ 01] 2 into [ 01 ] is a triangular norm (in short t-norm) iff are commutative nondecreasing in both arguments associative which satisfies ( p1) = p p [ 01]. Also disjunction in fuzzy logic is often modeled as follows: Definition 2.2. [10] A mapping from [ 01] 2 into [ 01 ] is a triangular conorm (in short t-conorm) iff are commutative nondecreasing in both arguments associative which satisfies ( p0) = p p [ 01]. Proposition 2.1. [10] A mapping is a triangular conorm iff there exists a triangular norm such that ( p q) = 1 ( 1 p1 q) pq t-conorm of. 01. In this case is called the dual he stard examples of t-norm dual t-conorms are stated in the following: Dual t-conorm () t--norm ( ) M pq = min( pq ) (Minimum t-norm) ( p q) = pq (Probabilistic Product t-norm) p if q = 1 W ( p q) = q if p = 1 0 if pq [01). (Drastic or weak t-norm) min( pq ) if p+ q 1 ( p q) = 0 if p + q < 1. (ilpotent t-norm) L( p q) = max( p + q 10) (Lukasiewicz t-norm) = p q M max p q (Maximum t-conorm) p q = p+ q pq (Probabilistic sum t-conorm) p if q =1 W ( p q) = q if p = 1 1 otherwise. (Drastic or largest t-conorm) ( pq) ( pq) p+ q< 1 max if = 0 if p + q 1. (ilpotent t-conorm) = ( + ) L pq min p q1 (Bounded um t-conorm)
3 Preprints ( O PEER-REVIEWED Posted: 3 August of 19 0 if p = q = 0 H ( p q) = pq otherwise. p + q pq (Hamacher t-norm) D α pq ( p q) = α (01) max( pq α) (Dubois-Prade t-norm) 0 if p = q = 0 H ( p q) = p + q 2pq otherwise. 1 pq (Hamacher t-conorm) ( pq) ( 1 p)( 1 q) ( p q α ) D = 1 α max 1 1 α ( 01 ). (Dubois Prade t-conorm) For other family of t-norm (not needed here) we refer the reader to [12] for instance. If 1 2 there is at least one pair 2 ( pq ) [01] such that 1 ( p q) < 2 ( p q) then we briefly write. 1 < 2 With this the above t-norms satisfy the next known chain of inequalities W < L < < H < M. wo t-norm 1 2 are called comparable if 1 2 or 2 1 holds. he above chain of inequalities shows that W L H M are comparable. It is not hard to see that for example are not comparable while W M comparable with W < < M. 2.3 egation Function he truth table of the classical negation is given in following table. p 0 1 p 1 0 Definition 2.3. [15] A mapping from [ 01] into [ 01] is a negation function iff:
4 Preprints ( O PEER-REVIEWED Posted: 3 August of 19 = =0; 2. p q if p q. p q 01. (Monototonicity) A negation function is strict iff: 1. ( p ) is continuous; 2. ( p) < ( q) if p > q. p q 01. A strict negation function is strong or volutive iff: ( ) = 1. p p p 01. A negation function is weak iff is not strong. ( C p p) Example 2.1. [15] he strong negation = 1 strict negation but not strong 2 ( k ( p) = 1 p ) weaker negation D ( p) 1 1if p =0 = 0if p >0. strongest negation 1ifp< 1 D ( p) =. 2 0if p =1. Definition 2.4. [13] Let be a t-norm be a t-conorm. A mapping from [ 01] into [ 01 ] defined by = { = } p sup r 01 \ p r 0 for every p 01 = { = } p inf r 01 \ p r 1 for every p 01 are called the natural negation of respectively. 3 ( Ν ) Co-Implication his section will be devoted to introduce the concept of ( ) co implication. he relation between classical logic fuzzy logic as well as some examples are also discussed. Definition 3.1. [15] A mapping I from [ 01] 2 into [ 01 ] is fuzzy implication if pqr [01] the following conditions are satisfied:
5 Preprints ( O PEER-REVIEWED Posted: 3 August of 19 I1: I 11 = I 01 = I 00 = 1 I 10 = 0. I 2: I p q I r q if p r. I3: I p q I p r if q r. he set of all fuzzy implications is denoted by FI. In classical logic the main two ways to defining an implication 憭 in Boolean lattice ( L ) are p q p q p q max { r / p r q}. [18] he ( ) implication residual implication is generalization of these material implications to fuzzy logic. Definition 3.2. [18] A mapping I from [ 01] 2 into [ 01 ] is called an ( ) there exist a fuzzy negation a t-conorm such that I p q = p q p q 01. implication if Definition 3.3. [18] Let a left-continuous t-norm. hen the residual implication or R-implication derived form is given by (R) i.e. ( r p) ( ) =sup{ [ 01 ] / ( ) } pq I pq r r p q q r I ( p q) pqr Remark 3.1. [18] It easy to check that for every left-continuous t-norm the only operation I ( ) pq satisfies (R) is called { } I p q = max r 01 / r p q where the right side exists pq 01. Definition 3.4. [19] A mapping from [ 01] 2 into [ 01 ] is a fuzzy co implication if pqr [01] the following conditions are satisfied: 1: (11) = (1 0) = (0 0) = 0 (01) = 1.
6 Preprints ( O PEER-REVIEWED Posted: 3 August of 19 2: ( p q) ( r q) if p r. 3: ( p q) ( p r) if q r. he set of all fuzzy co implication is denoted by Co FI. From the definition 3.4. (1 q) = ( p 0) = 0 ( p p ) = 0 pq [01]. Lemma 3.1. If a mapping from [ 01] 2 into [ 01] satisfies ( 1) ( 2) then the mapping :[01] [01] defined by is a fuzzy negation. ( p) = ( p1) p [01] he following properties are generalization of fuzzy implication fuzzy co implication from classical logic. Definition 3.5. [18] A fuzzy implications I fuzzy co-implications is said to satisfy the following most important properties pqr [01]. ( 1 ) = ; I q q ( ( )) = ( ( )); I pi qr I qi pr ΝΡ (0 q) = q; ΕΡ ( p ( q r)) = ( q ( p r)); (Co-P) (Co-EP) I ( p p ) = 1; ( ΙΡ ) ( p p ) = 0; ( ) = 1 ; I pq p q ΟΡ ( p q) = 0 p q. (Co-IP) (Co-OP) Co-implication are extensions of the Boolean co-implication (p that p is not necessary for q ). (see [20]) q meaning Proposition 3.1. he operator 憭 ( material co-implication ) is generated by Boolean negation 憭 conjunction 憭 : q p q p. he ( ) co-implication is generalization of this material co-implication to fuzzy logic. In the following table we can see the truth table for the classical co-implication p q p q q p q p
7 Preprints ( O PEER-REVIEWED Posted: 3 August of Definition 3.6. A mapping from [ 01] 2 into [ 01] is called an ( ) co-implication if there exists a t-norm a fuzzy negation such that ( p q) = ( q ( p)) pq [01]. A relation between fuzzy negations ( ) implication is given in the next proposition. Proposition 3.2 Let be an ( ) implication then =. Proof. For any p [01] ( p) = ( p1) = (1 ( p)) = ( p). Example 3.1. In the following examples we assume that C is a strong negation. t-norm C C I C M ( pq ) ( p q) ( q p) = min 1 M I C M M C C ( p q) Π C ( p q) = q pq Π C C I Π
8 Preprints ( O PEER-REVIEWED Posted: 3 August of 19 q if q = 1 W ( p q ) W C ( p q) = 1 p if q = 1 0 otherwise. I W C W C min q1 p if p < q ( p q ) C ( p q) = 0 if p q. I C C L( p q ) L C ( p q) = max ( q p0) L I C L C H ( p q ) H C ( 1 p) q ( p q) = H I 1 p + C H qp C
9 Preprints ( O PEER-REVIEWED Posted: 3 August of 19 Dα ( p q) α (01) Dα C Example 3.2. For t-norm t-conorm q( 1 p) ( q p ) ( p q) = max α D C I Dα C 1) A fuzzy negation p = p then the basic ( 2) implications I ( ) co-implications M 2 2 M are: 2 2 = ( ) I M ( pq ) = min ( q1 p ) I ( pq ) max 1 p q M 2 2 I M 2 I M 2 2) A fuzzy negation ( p) 3 1 if p = 0 = 0otherwise. hen the basic ( ) implications ( ) 3 Ι co-implications M 3 3 M 3 are: I M 3 1 if p 0 ( p q) = q if p > 0. M 3 q if p = 0 ( p q) = 0 if p > 0. I M 3 M 3
10 Preprints ( O PEER-REVIEWED Posted: 3 August of 19 As noted Ι is the least ( ) M 3 implications 3 is the least ( ) M 3 3 co-implications. 3) A fuzzy negation 4 ( p ) = 1 if p < 1 0if p =1. then the basic ( ) implications I co-implications. M M I M 4 1 if p < 1 ( p q) = q if p = 0. M 4 q if p < 1 ( p q) = 0 if p = 1. I M 4 M 4 As noted I is the greatest ( ) M 4 implications 4 greatest ( ) M 4 4 co-implications. 4. Residual Fuzzy Co-Implication in Dual Heyting Heyting algebra logic is the system on Heyting algebras Brouweriaun algebras. Heyting algebra L 01 is lattice with the bottom 0 the top 1 the binary operation called implication such that p qr L p q is the relative pseudocomplement of a with respect to c. hat is to say p r q p q p qr L. In other words the set of all b L such that p r q contains the greatest element denoted by p q. Precisely { } p q = sup r L\ p r q.
11 Preprints ( O PEER-REVIEWED Posted: 3 August 2016 he dual of Heyting algebra is called Brouwerian algebra ( 01) 11 of 19 L is a lattice with 0 1 the binary operation called co-implication algebra. atisfying p qr L. in dual Heyting p r q p q. he set of all r p q. Precisely L such that p r q contains the smallest element denoted by { } p q = r L p r q inf \. Definition 4.1. Let is the t-conorm of right continuous. hen the residual co-implication ( R -implication) derived from is { } p q =inf r 01 \ r p q p q 01. ( R ) R -implication come from residuted lattices based on residuation property ( R P ) that can be written as ( r p) he operation ( ) q if only if r ( p q). ( R P ) x y is called residual co-implication of the t-conorm. We now list the residual co-implication associated to the stard left-continuous t-norms previously introduced. Applying the above concepts to the stard t-norms we obtain the following interesting results. (1) Residuum of the Maximum t-conorm ( ) M p q is ( p q ) ( p q) M (2) Residuum of the Probabilistic sum t-conorm ( p q) M 0 if p q = M y otherwise. I M is
12 Preprints ( O PEER-REVIEWED Posted: 3 August of 19 ( p q) ( ) 0 if p q p q = q p otherwise. 1 p (3) Residuum of the Bounded um t-conorm ( ) L p q is I ( p q ) ( p q) max( 0 q p) L L = L L (4) Residuum of the ilpotent t-conorm ( ) p q is ( p q ) ( p q) 0 if p q = min ( 1 pq ) otherwise (5) Residuum of the Hamacher t-conorm ( ) H p q is
13 Preprints ( O PEER-REVIEWED Posted: 3 August of 19 (6) Residuum of the Dubois-Prade t-conorm ( ) D p q is ( p q ) ( ) D0.5 0 if p q D p q = αq α 0.5 max q + 1 if p < q 1 p (7) Residuum of the Hamacher s parametric t-conorm is ( p q) α D 0.5 is D0.5 ( p q) α 5 ( ) 0 if p q p q = αq p + (1 α) q α if p < q 1 ( 2 α) p + ( 1 α) p α Co-Implication Residual Co-implication Properties α In this section we introduce some properties for ( ) co-implication. co-implication residual Proposition 5.1. For a left continuous t-norm then is left-continuous.
14 Preprints ( O PEER-REVIEWED Posted: 3 August of 19 Proof: Let be left-continuous. Assume that there exist pq [01] such that ( p) < q ( p ε ) ε (0 x ]. his contradicts the left-continuity of hence must be left-continuous. Proposition 5.2. For a left continuous t-norm then the supremum in the definition of is the maximum i.e. = = p ( p) max{ t 01 \ p q 0} where the left side exists for all p [ 01 ]. 01 Proof: From the previous proposition since ( p) ( p) for all p ( p ( p )) = 0 that means by definition that the supremum is the maximum. 01 one has Proposition 5.3. For a left continuous t-norm then pq [ 01] equivalence holds: ( p) q ( p q) = 0 the following Proof: uppose that q for some p [ 01] we consider two cases: () i > q t > q: ( p t ) = 0 ( p q) = 0. (By monotonicity of ) ( ii ) = q q { t 01 \ ( p t ) = 0} ( p q) = 0 or q {t 01 \ ( p t) = 0}. herefore there exists an increasing sequence ( t i) i such that ti < q ( p t i ) = 0 for all i limt i i = q. By the left continuity of we get which is a contradiction. ( p q) = ( plim t ) = ( p t )limt = 0 i i i i i On the other side assume that is a left continuous t-norm for some pq [ 01 ]. ( p q) = 0 q { t 01 \ ( p t) = 0}
15 Preprints ( O PEER-REVIEWED Posted: 3 August of 19 q max{ t 01 \ ( p t) = 0} q ( p). he proof is complete. Proposition below states how a ( ) implications gives rise to a fuzzy ( ) co-implication vice-versa. Proposition 5.4. A mapping from [ 01] 2 into [ 01 ] is a ( ) co- implication with strong negation iff ( p q) = ( I ( q p)) for some I fuzzy (strong) negation. Conversely I from [ 01]2 into [ 01 ] is a ( ) implication iff I ( pq ) = ( ( q p)) for some fuzzy (strong) negation. heorem 5.1. For t-norm then Co FI. Proof: We have to show that 1 2 3in definition of fuzzy co-implication are satisfied for all pqr [01]. 1 : 2 : 11 = 1 0 = 0 0 = 0 01 = 1. p r ( p) ( r) ( q p ) ( q r ) ( p q) ( r q) 3 :. q r ( q p ) ( q p ) ( p q) ( p r). heorem 5.2. All ( ) co-implications are fuzzy implications satisfy (Co-P) (Co-EP). Proof: If an ( ) co-implications then (0 q) = ( q1) = q.
16 Preprints ( O PEER-REVIEWED Posted: 3 August of 19 Also ( p ( q r)) = ( ( q r) ( p)) = ( ( rq ) ( p)) = ( ( p) ( r ( q))) = ( ( ( p) r) q ) = ( ( r ( p)) q ) = ( ( p r) ( q)) = ( q ( p r)). heorem 5.3. If I satisfies ( IP ) with strong negation then Proof: ( p p) = ( p ( x)) = ( ( p) p) = ( ( p ( p))) satisfies (Co-IP). = ( ( ( p) p)) = ( I ( p p)) = (1) = 0. heorem 5.4. If I satisfies ( OP ) with strong negation then Proof: We would like to prove that Let ( p q) = 0 p q. p q ( p) ( q) I ( ( p) ( q)) = 1 by (OP) satisfies (Co-OP). ( I ( ( p) ( q))) = (1) ( ( p ( q))) = 0 ( ( ( ( p) q))) = 0 q ( p) = 0 ( p q) = 0. heorem 5.6. For t-norm a fuzzy negation then ( p p) = 0 p 01 iff ( p ( p)) = 0 for all p 01. Proof: If p p p ( ) = 0 01 then Conversely if p p p ( p ( p)) = ( p p) = 0 p 01. ( ) = 0 01 then ( p x) = ( p ( p)) = 0 p 01.
17 Preprints ( O PEER-REVIEWED Posted: 3 August of 19 heorem 5.7. For a left continuous t-norm a continuous fuzzy negation then iff ( p p) = 0 p 01 ( p) ( p) p 01. Proof: Let is a left continuous t-norm for a continuous fuzzy negation then hen ( p p) = ( p ( p)) = 0. By monotonicity of if then ( p ( p )) = 0. ( x) = max{ t 01 : ( p t) = 0} p 01. ( p) ( p) Conversely let p p p ( ) = 0 01 then ( ) 0 ( p) { t 01 : ( p t) = 0} p p = p [ 01] if then ( p) max{ t 01 : ( p t) = 0} = ( p). heorem 5.8. For a right continuous t-conorm then Co FI. Proof: We have to show that 1 2 3in definition of fuzzy co-implication are satisfied for all pqr [01]. : 1 { r ( r ) } 2 11 = inf [01]\ 1 1 = 0 { } { } { } ( p q) ( r q). 10 = inf r [01]\ r1 0 = 0 00 = inf r [01] \ r0 0 = 0 01 = inf r [01] \ r0 1 = 1. { } { } inf { t [01] \ t p q} inf { t [01] \ ( t r) q} : p r t [01]\ t p q t [01]\ t r q
18 Preprints ( O PEER-REVIEWED Posted: 3 August of 19 3 { } ( p q) ( p r). { } { t t p q} { t ( t p) r} : q r t [01]\ t p q t [01]\ t p r inf [01] \ inf [01] \ heorem 5.9. A co-implications satisfy (Co-P) (Co-IP). Proof: For any t-conorm pq [ 01] we get Also { } { } (0 q) = inf r [01] \ r0 q = inf r [01] \ r q = q. { } ( p p) = inf r [01]\ r p p = 0. heorem If is a right continuous then satisfy (Co-EP) Co-OP). Proof: For any right continuous t-conorm for all pqr [ 01] by using condition we have { } { } ( ) ( p ( q r)) = inf t [01]\ t p ( q r) = inf t [01]\ t p q r R { t ( t ( p q) ) r} t ( t ( q p) ) r { t ( tq p) r} { t tq pr} { } = inf [01] \ = inf [01] \ = inf [01] \ ( ) = inf [01] \ ( ) ( ) = ( q ( p r)). ow we would like to prove that ( p q) = 0 p q. If p q then ( p0 ) = p q so ( p q ) = 0. Conversely if ( p q ) = 0 then because of R condition we get p0 q i.e. p q. Conclusion here is four usual models of fuzzy implications that is () residual QL-operation ( I p q p p q ) p q ( ) = ( ( ) 01 D-operations ( I( p q) = ( ( ( p) ( q)) q) pq [ 01] implication. In this paper we introduced () residual co-implication. ow an interesting natural questions arises that to find Co-QL-operation Co-D-operations. Competing interests he authors declare that they have no competing interests.
19 Preprints ( O PEER-REVIEWED Posted: 3 August of 19 References [1] E.E. Kerre C. Huang D. Ruan. Fuzzy et Approximate Reasoning. Wu Han University Press Wu chang [2] M. Mas M. Monserrat. orrens E. rillas. A survey on fuzzy implication functions. IEEE ransactions on Fuzzy ystems 15(6): [3]. Gottwald. Areatise on Many-Valued Logic. Resarch tudies Press Baldok [4] L. soukalas R. Uhring L. Zadeh. Fuzzy eural Approaches in Engineering. Adaptive Learning ystems for ignal Processing communications control. Wiley-Interscience ew York [5] E.P. Klement R. Mesiar E. Pap riangular orms Kluwer Academic Publisher Dordrecht [6] Weber. A General Concept of Fuzzy Connectives egations Implications Based on -norms -conorms Fuzzy ets ystems 11 pp [7] B. De Baets Coimplicators the forgotten connectives atra Mountains Mathematical Publications 12: atra Mt. Math. Publ [8] Oh K. Kel A.: Coimplication its applications to fuzzy expert systems. Information ciences [9] F. Wolter On Logics with Coimplication ournal of Philosophical Logic 27 (4) [10] B. chweizer A. klar Probabilistic Metric paces orth Holl Amsterdam nd edition: Dover Publications Mineola Y [11] I. ebril Mohd.. Md. oorani A. aari An example of a probabilistic metric space not induced from a rom normed space. Bull. Malays Math. ci. oc. 2 (26) [12] M.M. Gupta. Qi heory of -norms fuzzy inference methods Fuzzy ets ystems [13] E.P. Klement R. Mesiar riangular orms atra Mountains Math. Publ. 13 (1997) [14] Fodor. Left-continuous t-norms in fuzzy logic: an overview. ournal of applied sciences at Budapest ech Hungary 1(2) [15].C. Fodor M. Roubens Fuzzy Preference Modelling Multicriteria Decision upport Kluwer Dordrecht [16] K.C. Maes B. De Baets. A contour view on uninorm properties.kybernetika [17] M. Baczynski B. ayaram Fuzzy Implications tudies in Fuzziness oft Computing Vol. 231 pringer Heidelberg [18] M. Baczynski B. ayaram ()- R-implications: a state-of-the-art survey Fuzzy ets yst [19] P. Li. Fang A survey on fuzzy relational equations part I: classification solvability Fuzzy Optimization Decision Making [20] Youg u Zhuden Wang Constructing implications coimplication on a complete lattice Fuzzy ets yst by the authors; licensee Preprints Basel witzerl. his article is an open access article distributed under the terms conditions of the Creative Commons by Attribution (CC-BY) license (
CONSERVATIVE AND DISSIPATIVE FOR T-NORM AND T-CONORM AND RESIDUAL FUZZY CO-IMPLICATION
Bulletin of Mathematical Analysis and Applications ISSN: 1821-1291, URL: http://www.bmathaa.org Volume 8 Issue 4(2016), Pages 78-90. CONSERVATIVE AND DISSIPATIVE FOR T-NORM AND T-CONORM AND RESIDUAL FUZZY
More informationContinuous R-implications
Continuous R-implications Balasubramaniam Jayaram 1 Michał Baczyński 2 1. Department of Mathematics, Indian Institute of echnology Madras, Chennai 600 036, India 2. Institute of Mathematics, University
More informationOn the Intersections of QL-Implications with (S, N)- and R-Implications
On the Intersections of QL-Implications with (S, N)- and R-Implications Balasubramaniam Jayaram Dept. of Mathematics and Computer Sciences, Sri Sathya Sai Institute of Higher Learning, Prasanthi Nilayam,
More informationKybernetika. Michał Baczyński; Balasubramaniam Jayaram Yager s classes of fuzzy implications: some properties and intersections
Kybernetika Michał Baczyński; Balasubramaniam Jayaram Yager s classes of fuzzy implications: some properties and intersections Kybernetika, Vol. 43 (2007), No. 2, 57--82 Persistent URL: http://dml.cz/dmlcz/35764
More informationLeft-continuous t-norms in Fuzzy Logic: an Overview
Left-continuous t-norms in Fuzzy Logic: an Overview János Fodor Dept. of Biomathematics and Informatics, Faculty of Veterinary Sci. Szent István University, István u. 2, H-1078 Budapest, Hungary E-mail:
More informationThe problem of distributivity between binary operations in bifuzzy set theory
The problem of distributivity between binary operations in bifuzzy set theory Pawe l Drygaś Institute of Mathematics, University of Rzeszów ul. Rejtana 16A, 35-310 Rzeszów, Poland e-mail: paweldr@univ.rzeszow.pl
More informationKybernetika. Margarita Mas; Miquel Monserrat; Joan Torrens QL-implications versus D-implications. Terms of use:
Kybernetika Margarita Mas; Miquel Monserrat; Joan Torrens QL-implications versus D-implications Kybernetika, Vol. 42 (2006), No. 3, 35--366 Persistent URL: http://dml.cz/dmlcz/3579 Terms of use: Institute
More informationAggregation and Non-Contradiction
Aggregation and Non-Contradiction Ana Pradera Dept. de Informática, Estadística y Telemática Universidad Rey Juan Carlos. 28933 Móstoles. Madrid. Spain ana.pradera@urjc.es Enric Trillas Dept. de Inteligencia
More informationFinitely Valued Indistinguishability Operators
Finitely Valued Indistinguishability Operators Gaspar Mayor 1 and Jordi Recasens 2 1 Department of Mathematics and Computer Science, Universitat de les Illes Balears, 07122 Palma de Mallorca, Illes Balears,
More informationFuzzy logic Fuzzyapproximate reasoning
Fuzzy logic Fuzzyapproximate reasoning 3.class 3/19/2009 1 Introduction uncertain processes dynamic engineering system models fundamental of the decision making in fuzzy based real systems is the approximate
More informationSup-t-norm and inf-residuum are a single type of relational equations
International Journal of General Systems Vol. 00, No. 00, February 2011, 1 12 Sup-t-norm and inf-residuum are a single type of relational equations Eduard Bartl a, Radim Belohlavek b Department of Computer
More informationComparison of two versions of the Ferrers property of fuzzy interval orders
Comparison of two versions of the Ferrers property of fuzzy interval orders Susana Díaz 1 Bernard De Baets 2 Susana Montes 1 1.Dept. Statistics and O. R., University of Oviedo 2.Dept. Appl. Math., Biometrics
More informationNon-Associative Fuzzy Flip-Flop with Dual Set-Reset Feature
IY 006 4 th erbian-hungarian Joint ymposium on Intelligent ystems Non-Associative Fuzzy Flip-Flop with Dual et-eset Feature ita Lovassy Institute of Microelectronics and Technology, Budapest Tech, Hungary
More informationComparison of Fuzzy Operators for IF-Inference Systems of Takagi-Sugeno Type in Ozone Prediction
Comparison of Fuzzy Operators for IF-Inference Systems of Takagi-Sugeno Type in Ozone Prediction Vladimír Olej and Petr Hájek Institute of System Engineering and Informatics, Faculty of Economics and Administration,
More informationPreservation of graded properties of fuzzy relations by aggregation functions
Preservation of graded properties of fuzzy relations by aggregation functions Urszula Dudziak Institute of Mathematics, University of Rzeszów, 35-310 Rzeszów, ul. Rejtana 16a, Poland. e-mail: ududziak@univ.rzeszow.pl
More informationFuzzy relation equations with dual composition
Fuzzy relation equations with dual composition Lenka Nosková University of Ostrava Institute for Research and Applications of Fuzzy Modeling 30. dubna 22, 701 03 Ostrava 1 Czech Republic Lenka.Noskova@osu.cz
More informationDuality vs Adjunction and General Form for Fuzzy Mathematical Morphology
Duality vs Adjunction and General Form for Fuzzy Mathematical Morphology Isabelle Bloch GET - Ecole Nationale Supérieure des Télécommunications, Dept. TSI - CNRS UMR 5141 LTCI, 46 rue Barrault, 7513 Paris,
More informationOn the filter theory of residuated lattices
On the filter theory of residuated lattices Jiří Rachůnek and Dana Šalounová Palacký University in Olomouc VŠB Technical University of Ostrava Czech Republic Orange, August 5, 2013 J. Rachůnek, D. Šalounová
More information(S, N)- and R-implications: A state-of-the-art survey
Fuzzy Sets and Systems 159 (2008) 1836 1859 www.elsevier.com/locate/fss (S, N)- and R-implications: A state-of-the-art survey Michał Baczyński a,, Balasubramaniam Jayaram b a Institute of Mathematics,
More informationDecomposition of the transitivity for additive fuzzy preference structures
Decomposition of the transitivity for additive fuzzy preference structures Susana Díaz, Susana Montes 1 Bernard De Baets 1.Dept. of Statistics and O.R., University of Oviedo Oviedo, Spain.Dept. of Applied
More informationPreservation of t-norm and t-conorm based properties of fuzzy relations during aggregation process
8th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2013) Preservation of t-norm and t-conorm based properties of fuzzy relations during aggregation process Urszula Dudziak Institute
More informationFuzzy Sets. Mirko Navara navara/fl/fset printe.pdf February 28, 2019
The notion of fuzzy set. Minimum about classical) sets Fuzzy ets Mirko Navara http://cmp.felk.cvut.cz/ navara/fl/fset printe.pdf February 8, 09 To aviod problems of the set theory, we restrict ourselves
More informationDirectional Monotonicity of Fuzzy Implications
Acta Polytechnica Hungarica Vol. 14, No. 5, 2017 Directional Monotonicity of Fuzzy Implications Katarzyna Miś Institute of Mathematics, University of Silesia in Katowice Bankowa 14, 40-007 Katowice, Poland,
More informationOn (Weighted) k-order Fuzzy Connectives
Author manuscript, published in "IEEE Int. Conf. on Fuzzy Systems, Spain 2010" On Weighted -Order Fuzzy Connectives Hoel Le Capitaine and Carl Frélicot Mathematics, Image and Applications MIA Université
More informationFURTHER DEVELOPMENT OF CHEBYSHEV TYPE INEQUALITIES FOR SUGENO INTEGRALS AND T-(S-)EVALUATORS
K Y BERNETIK VOLUM E 46 21, NUMBER 1, P GES 83 95 FURTHER DEVELOPMENT OF CHEBYSHEV TYPE INEQULITIES FOR SUGENO INTEGRLS ND T-S-EVLUTORS Hamzeh gahi, Radko Mesiar and Yao Ouyang In this paper further development
More informationAN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC
Iranian Journal of Fuzzy Systems Vol. 9, No. 6, (2012) pp. 31-41 31 AN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC E. ESLAMI Abstract. In this paper we extend the notion of degrees of membership
More informationbetween implicator and coimplicator integrals,
Implicator coimplicator integrals Gert de Cooman Universiteit Gent Elektrische Energietechniek Technologiepark 9, 9052 Zwijnaarde, Belgium gert.decooman@rug.ac.be Bernard De Baets Universiteit Gent Toegepaste
More informationSome Pre-filters in EQ-Algebras
Available at http://pvamu.edu/aam Appl. Appl. Math. ISSN: 1932-9466 Vol. 12, Issue 2 (December 2017), pp. 1057-1071 Applications and Applied Mathematics: An International Journal (AAM) Some Pre-filters
More informationFuzzy Modal Like Approximation Operations Based on Residuated Lattices
Fuzzy Modal Like Approximation Operations Based on Residuated Lattices Anna Maria Radzikowska Faculty of Mathematics and Information Science Warsaw University of Technology Plac Politechniki 1, 00 661
More informationThe Domination Relation Between Continuous T-Norms
The Domination Relation Between Continuous T-Norms Susanne Saminger Department of Knowledge-Based Mathematical Systems, Johannes Kepler University Linz, Altenbergerstrasse 69, A-4040 Linz, Austria susanne.saminger@jku.at
More informationFUZZY H-WEAK CONTRACTIONS AND FIXED POINT THEOREMS IN FUZZY METRIC SPACES
Gulf Journal of Mathematics Vol, Issue 2 203 7-79 FUZZY H-WEAK CONTRACTIONS AND FIXED POINT THEOREMS IN FUZZY METRIC SPACES SATISH SHUKLA Abstract. The purpose of this paper is to introduce the notion
More informationAnalysis of additive generators of fuzzy operations represented by rational functions
Journal of Physics: Conference Series PAPER OPEN ACCESS Analysis of additive generators of fuzzy operations represented by rational functions To cite this article: T M Ledeneva 018 J. Phys.: Conf. Ser.
More informationReducing t-norms and augmenting t-conorms
Reducing t-norms and augmenting t-conorms Marcin Detyniecki LIP6 - CNRS -University of Paris VI 4, place Jussieu 75230 Paris Cedex 05, France Marcin.Detyniecki@lip6.fr Ronald R. Yager Machine Intelligence
More informationFuzzy filters and fuzzy prime filters of bounded Rl-monoids and pseudo BL-algebras
Fuzzy filters and fuzzy prime filters of bounded Rl-monoids and pseudo BL-algebras Jiří Rachůnek 1 Dana Šalounová2 1 Department of Algebra and Geometry, Faculty of Sciences, Palacký University, Tomkova
More informationFuzzy Implications: Some Recently Solved Problems
Fuzzy Implications: Some Recently Solved Problems M. Baczyński and B. Jayaram Abstract. In this chapter we discuss some open problemsrelated to fuzzy implications, which have either been completely solved
More informationChebyshev Type Inequalities for Sugeno Integrals with Respect to Intuitionistic Fuzzy Measures
BULGARIAN ACADEMY OF SCIENCES CYBERNETICS AND INFORMATION TECHNOLOGIES Volume 9, No 2 Sofia 2009 Chebyshev Type Inequalities for Sugeno Integrals with Respect to Intuitionistic Fuzzy Measures Adrian I.
More informationOn the Law of Importation. in Fuzzy Logic. J.Balasubramaniam, Member IEEE. Abstract
BALASUBRAMANIAM: On the Law of Importation in fuzzy logic 1 On the Law of Importation (x y) z (x (y z)) in Fuzzy Logic J.Balasubramaniam, Member IEEE Abstract The law of importation, given by the equivalence
More informationS-MEASURES, T -MEASURES AND DISTINGUISHED CLASSES OF FUZZY MEASURES
K Y B E R N E T I K A V O L U M E 4 2 ( 2 0 0 6 ), N U M B E R 3, P A G E S 3 6 7 3 7 8 S-MEASURES, T -MEASURES AND DISTINGUISHED CLASSES OF FUZZY MEASURES Peter Struk and Andrea Stupňanová S-measures
More informationTriple Rotation: Gymnastics for T-norms
Triple Rotation: Gymnastics for T-norms K.C. Maes Department of Applied Mathematics, Biometrics and Process Control, Ghent University, Coupure links 653, B-9 Gent, Belgium Koen.Maes@Ugent.be B. De Baets
More informationTHE FORMAL TRIPLE I INFERENCE METHOD FOR LOGIC SYSTEM W UL
10 th February 013. Vol. 48 No.1 005-013 JATIT & LLS. All rights reserved. ISSN: 199-8645 www.jatit.org E-ISSN: 1817-3195 THE FORMAL TRIPLE I INFERENCE METHOD FOR LOGIC SYSTEM W UL 1 MINXIA LUO, NI SANG,
More informationIntuitionistic Fuzzy Sets - An Alternative Look
Intuitionistic Fuzzy Sets - An Alternative Look Anna Pankowska and Maciej Wygralak Faculty of Mathematics and Computer Science Adam Mickiewicz University Umultowska 87, 61-614 Poznań, Poland e-mail: wygralak@math.amu.edu.pl
More informationNonlinear Optimization Subject to a System of Fuzzy Relational Equations with Max-min Composition
The 7th International Symposium on Operations Research and Its Applications (ISORA 08) Lijiang, China, October 31 Novemver 3, 2008 Copyright 2008 ORSC & APORC, pp. 1 9 Nonlinear Optimization Subject to
More informationFleas and fuzzy logic a survey
Fleas and fuzzy logic a survey Petr Hájek Institute of Computer Science AS CR Prague hajek@cs.cas.cz Dedicated to Professor Gert H. Müller on the occasion of his 80 th birthday Keywords: mathematical fuzzy
More informationConstruction of Interval-valued Fuzzy Preference Relations from Ignorance Functions and Fuzzy Preference Relations. Application to Decision Making
Construction of Interval-valued Fuzzy Preference Relations from Ignorance Functions and Fuzzy Preference Relations. Application to Decision Making Edurne Barrenechea a, Javier Fernandez a, Miguel Pagola
More informationTHE FORMAL TRIPLE I INFERENCE METHOD FOR LOGIC SYSTEM W UL
THE FORMAL TRIPLE I INFERENCE METHOD FOR LOGIC SYSTEM W UL 1 MINXIA LUO, 2 NI SANG, 3 KAI ZHANG 1 Department of Mathematics, China Jiliang University Hangzhou, China E-mail: minxialuo@163.com ABSTRACT
More informationGENERATED FUZZY IMPLICATIONS IN FUZZY DECISION MAKING
BRNO UNIVERSITY OF TECHNOLOGY Faculty of Electrical Engineering and Communication Department of Mathematics Mgr. Vladislav Biba GENERATED FUZZY IMPLICATIONS IN FUZZY DECISION MAKING GENEROVANÉ FUZZY IMPLIKÁTORY
More informationFUZZY relation equations were introduced by E. Sanchez
Position Papers of the Federated Conference on Computer Science and Information Systems pp. 19 23 DOI: 1.15439/216F564 ACSIS, Vol. 9. ISSN 23-5963 Computing the minimal solutions of finite fuzzy relation
More informationInterval based Uncertain Reasoning using Fuzzy and Rough Sets
Interval based Uncertain Reasoning using Fuzzy and Rough Sets Y.Y. Yao Jian Wang Department of Computer Science Lakehead University Thunder Bay, Ontario Canada P7B 5E1 Abstract This paper examines two
More informationTRIANGULAR NORMS WITH CONTINUOUS DIAGONALS
Tatra Mt. Math. Publ. 6 (999), 87 95 TRIANGULAR NORMS WITH CONTINUOUS DIAGONALS Josef Tkadlec ABSTRACT. It is an old open question whether a t-norm with a continuous diagonal must be continuous [7]. We
More informationGENERAL AGGREGATION OPERATORS ACTING ON FUZZY NUMBERS INDUCED BY ORDINARY AGGREGATION OPERATORS
Novi Sad J. Math. Vol. 33, No. 2, 2003, 67 76 67 GENERAL AGGREGATION OPERATORS ACTING ON FUZZY NUMBERS INDUCED BY ORDINARY AGGREGATION OPERATORS Aleksandar Takači 1 Abstract. Some special general aggregation
More information(, q)-fuzzy Ideals of BG-algebras with respect to t-norm
NTMSCI 3, No. 4, 196-10 (015) 196 New Trends in Mathematical Sciences http://www.ntmsci.com (, q)-fuzzy Ideals of BG-algebras with respect to t-norm Saidur R. Barbhuiya Department of mathematics, Srikishan
More informationInterval Valued Fuzzy Sets from Continuous Archimedean. Triangular Norms. Taner Bilgic and I. Burhan Turksen. University of Toronto.
Interval Valued Fuzzy Sets from Continuous Archimedean Triangular Norms Taner Bilgic and I. Burhan Turksen Department of Industrial Engineering University of Toronto Toronto, Ontario, M5S 1A4 Canada bilgic@ie.utoronto.ca,
More informationCharacterizations of fuzzy implications satisfying the Boolean-like law y I(x, y)
Characterizations of fuzzy implications satisfying the Boolean-like law y I(x, y) Anderson Cruz, Benjamín Bedregal, and Regivan Santiago Group of Theory and Intelligence of Computation - GoThIC Federal
More informationarxiv: v1 [cs.lo] 16 Jul 2017
SOME IMPROVEMENTS IN FUZZY TURING MACHINES HADI FARAHANI arxiv:1707.05311v1 [cs.lo] 16 Jul 2017 Department of Computer Science, Shahid Beheshti University, G.C, Tehran, Iran h farahani@sbu.ac.ir Abstract.
More informationResearch Article On Decomposable Measures Induced by Metrics
Applied Mathematics Volume 2012, Article ID 701206, 8 pages doi:10.1155/2012/701206 Research Article On Decomposable Measures Induced by Metrics Dong Qiu 1 and Weiquan Zhang 2 1 College of Mathematics
More informationcse371/mat371 LOGIC Professor Anita Wasilewska Fall 2018
cse371/mat371 LOGIC Professor Anita Wasilewska Fall 2018 Chapter 7 Introduction to Intuitionistic and Modal Logics CHAPTER 7 SLIDES Slides Set 1 Chapter 7 Introduction to Intuitionistic and Modal Logics
More informationFuzzy Sets, Fuzzy Logic, and Fuzzy Systems
Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems SSIE 617 Fall 2008 Radim BELOHLAVEK Dept. Systems Sci. & Industrial Eng. Watson School of Eng. and Applied Sci. Binghamton University SUNY Radim Belohlavek (SSIE
More informationConcept lattices in fuzzy relation equations
Concept lattices in fuzzy relation equations Juan Carlos Díaz and Jesús Medina Department of Mathematics. University of Cádiz Email: {juancarlos.diaz,jesus.medina}@uca.es Abstract. Fuzzy relation equations
More informationA Deep Study of Fuzzy Implications
A Deep Study of Fuzzy Implications Yun Shi Promotor: prof. dr. Etienne E. Kerre Copromotor: prof. dr. Da Ruan Dissertation submitted to Faculty of Science of Ghent University in fulfillment of the requirements
More informationIntroducing Interpolative Boolean algebra into Intuitionistic
16th World Congress of the International Fuzzy Systems ssociation (IFS) 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLT) Introducing Interpolative oolean algebra into Intuitionistic
More informationOn the Independence of the Formal System L *
6 International Journal of Fuzzy Systems, Vol. 4, No., June On the Independence of the Formal System L * Daowu Pei Astract The formal system L * of fuzzy propositional logic has een successfully applied
More informationKey Renewal Theory for T -iid Random Fuzzy Variables
Applied Mathematical Sciences, Vol. 3, 29, no. 7, 35-329 HIKARI Ltd, www.m-hikari.com https://doi.org/.2988/ams.29.9236 Key Renewal Theory for T -iid Random Fuzzy Variables Dug Hun Hong Department of Mathematics,
More informationPacket #1: Logic & Proofs. Applied Discrete Mathematics
Packet #1: Logic & Proofs Applied Discrete Mathematics Table of Contents Course Objectives Page 2 Propositional Calculus Information Pages 3-13 Course Objectives At the conclusion of this course, you should
More informationChapter 1 Similarity Based Reasoning Fuzzy Systems and Universal Approximation
Chapter 1 Similarity Based Reasoning Fuzzy Systems and Universal Approximation Sayantan Mandal and Balasubramaniam Jayaram Abstract In this work, we show that fuzzy inference systems based on Similarity
More informationAveraging Operators on the Unit Interval
Averaging Operators on the Unit Interval Mai Gehrke Carol Walker Elbert Walker New Mexico State University Las Cruces, New Mexico Abstract In working with negations and t-norms, it is not uncommon to call
More informationPropositional Logic Language
Propositional Logic Language A logic consists of: an alphabet A, a language L, i.e., a set of formulas, and a binary relation = between a set of formulas and a formula. An alphabet A consists of a finite
More informationOn Generalization of Fuzzy Connectives
n Generalization of Fuzzy Connectives Imre J. Rudas udapest Tech Doberdó út 6, H-1034 udapest, Hungary rudas@bmf.hu bstract: In real applications of fuzzy logic the properties of aggregation operators
More informationFuzzy Answer Set semantics for Residuated Logic programs
semantics for Logic Nicolás Madrid & Universidad de Málaga September 23, 2009 Aims of this paper We are studying the introduction of two kinds of negations into residuated : Default negation: This negation
More informationComparison of 3-valued Logic using Fuzzy Rules
International Journal of Scientific and Research Publications, Volume 3, Issue 8, August 2013 1 Comparison of 3-valued Logic using Fuzzy Rules Dr. G.Nirmala* and G.Suvitha** *Associate Professor, P.G &
More informationSoft set theoretical approach to residuated lattices. 1. Introduction. Young Bae Jun and Xiaohong Zhang
Quasigroups and Related Systems 24 2016, 231 246 Soft set theoretical approach to residuated lattices Young Bae Jun and Xiaohong Zhang Abstract. Molodtsov's soft set theory is applied to residuated lattices.
More informationOn Very True Operators and v-filters
On Very True Operators and v-filters XUEJUN LIU Zhejiang Wanli University School of Computer and Information Technology Ningbo 315100 People s Republic of China ZHUDENG WANG Zhejiang Wanli University Institute
More informationPropositional Logics and their Algebraic Equivalents
Propositional Logics and their Algebraic Equivalents Kyle Brooks April 18, 2012 Contents 1 Introduction 1 2 Formal Logic Systems 1 2.1 Consequence Relations......................... 2 3 Propositional Logic
More informationDisjoint Variation, (s)-boundedness and Brooks-Jewett Theorems for Lattice Group-Valued k-triangular Set Functions
International Journal of Mathematical Analysis and Applications 2016; 3(3): 26-30 http://www.aascit.org/journal/ijmaa IN: 2375-3927 Disjoint Variation, (s)-boundedness and Brooks-Jewett Theorems for Lattice
More informationHomomorphisms on The Monoid of Fuzzy Implications
Homomorphisms on The Monoid of Fuzzy mplications Nageswara Rao Vemuri and Balasubramaniam Jayaram Department of Mathematics ndian nstitute of Technology Hyderabad Yeddumailaram, A.P 502 205 Email: {ma10p001,
More informationThe General Nilpotent System
The General Nilpotent System József Dombi 1,2 Orsolya Csiszár 1 1 Óbuda University, Budapest, Hungary 2 University of Szeged, Hungary FSTA, Liptovský Ján, 2014 csiszar.orsolya@nik.uni-obuda.hu The General
More informationA note on fuzzy predicate logic. Petr H jek 1. Academy of Sciences of the Czech Republic
A note on fuzzy predicate logic Petr H jek 1 Institute of Computer Science, Academy of Sciences of the Czech Republic Pod vod renskou v 2, 182 07 Prague. Abstract. Recent development of mathematical fuzzy
More informationThe Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Algebras of Lukasiewicz s Logic and their Semiring Reducts A. Di Nola B. Gerla Vienna, Preprint
More informationMore Propositional Logic Algebra: Expressive Completeness and Completeness of Equivalences. Computability and Logic
More Propositional Logic Algebra: Expressive Completeness and Completeness of Equivalences Computability and Logic Equivalences Involving Conditionals Some Important Equivalences Involving Conditionals
More informationASSOCIATIVE n DIMENSIONAL COPULAS
K Y BERNETIKA VOLUM E 47 ( 2011), NUMBER 1, P AGES 93 99 ASSOCIATIVE n DIMENSIONAL COPULAS Andrea Stupňanová and Anna Kolesárová The associativity of n-dimensional copulas in the sense of Post is studied.
More informationBivalent and other solutions of fuzzy relational equations via linguistic hedges
Fuzzy Sets and Systems 187 (2012) 103 112 wwwelseviercom/locate/fss Bivalent and other solutions of fuzzy relational equations via linguistic hedges Eduard Bartl, Radim Belohlavek, Vilem Vychodil Department
More informationThis article was originally published in a journal published by Elsevier, and the attached copy is provided by Elsevier for the author s benefit and for the benefit of the author s institution, for non-commercial
More informationEXTRACTING FUZZY IF-THEN RULE BY USING THE INFORMATION MATRIX TECHNIQUE WITH QUASI-TRIANGULAR FUZZY NUMBERS
STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume LIV, Number 3, September 2009 EXTRACTING FUZZY IF-THEN RULE BY USING THE INFORMATION MATRIX TECHNIQUE WITH QUASI-TRIANGULAR FUZZY NUMBERS ZOLTÁN MAKÓ Abstract.
More informationVariations of non-additive measures
Variations of non-additive measures Endre Pap Department of Mathematics and Informatics, University of Novi Sad Trg D. Obradovica 4, 21 000 Novi Sad, Serbia and Montenegro e-mail: pape@eunet.yu Abstract:
More informationApproximating models based on fuzzy transforms
Approximating models based on fuzzy transforms Irina Perfilieva University of Ostrava Institute for Research and Applications of Fuzzy Modeling 30. dubna 22, 701 03 Ostrava 1, Czech Republic e-mail:irina.perfilieva@osu.cz
More information12th IMEKO TC1 & TC7 Joint Symposium on Man Science & Measurement September, 3 5, 2008, Annecy, France
th IMEKO C & C7 Joint Symposium on Man Science & Measurement September, 3 5, 8, Annecy, France ERROR AALYSIS USIG FUZZY ARIHMEIC BASED O -ORM Michał K. Urbański, Adam Bzowski Warsaw University of echnology,
More informationUninorm Based Logic As An Extension of Substructural Logics FL e
Uninorm Based Logic As An Extension of Substructural Logics FL e Osamu WATARI Hokkaido Automotive Engineering College Sapporo 062-0922, JAPAN watari@haec.ac.jp Mayuka F. KAWAGUCHI Division of Computer
More informationMULTICRITERIA DECISION MAKING IN BALANCED MODEL OF FUZZY SETS
MULTICRITERIA DECISION MAKING IN BALANCED MODEL OF FUZZY SETS Wladyslaw Homenda Faculty of Mathematics and Information Science Warsaw University of Technology, pl. Politechniki 1, 00-661 Warsaw, Poland
More informationGENERAL RELATED JENSEN TYPE INEQUALITIES FOR FUZZY INTEGRALS
TWMS J. App. Eng. Math. V.8, N., 08, pp. -7 GENERAL RELATED JENSEN TYPE INEQUALITIES FOR FUZZY INTEGRALS B. DARABY, Abstract. In this paper, related inequalities to Jensen type inequality for the seminormed
More informationDUAL BCK-ALGEBRA AND MV-ALGEBRA. Kyung Ho Kim and Yong Ho Yon. Received March 23, 2007
Scientiae Mathematicae Japonicae Online, e-2007, 393 399 393 DUAL BCK-ALGEBRA AND MV-ALGEBRA Kyung Ho Kim and Yong Ho Yon Received March 23, 2007 Abstract. The aim of this paper is to study the properties
More informationEQ-ALGEBRAS WITH PSEUDO PRE-VALUATIONS. Yongwei Yang 1. Xiaolong Xin
italian journal of pure and applied mathematics n. 37 2017 (29 48) 29 EQ-ALGEBRAS WITH PSEUDO PRE-VALUATIONS Yongwei Yang 1 School of Mathematics and Statistics Anyang Normal University Anyang 455000 China
More informationAssociativity of triangular norms in light of web geometry
Associativit of triangular norms in light of web geometr Milan Petrík 1,2 Peter Sarkoci 3 1. Institute of Computer Science, Academ of Sciences of the Czech Republic, Prague, Czech Republic 2. Center for
More information2.2: Logical Equivalence: The Laws of Logic
Example (2.7) For primitive statement p and q, construct a truth table for each of the following compound statements. a) p q b) p q Here we see that the corresponding truth tables for two statement p q
More informationFuzzy Function: Theoretical and Practical Point of View
EUSFLAT-LFA 2011 July 2011 Aix-les-Bains, France Fuzzy Function: Theoretical and Practical Point of View Irina Perfilieva, University of Ostrava, Inst. for Research and Applications of Fuzzy Modeling,
More informationFusing Interval Preferences
Fusing Interval Preferences Taner Bilgiç Department of Industrial Engineering Boğaziçi University Bebek, İstanbul, 80815 Turkey taner@boun.edu.tr Appeared in Proceedings of EUROFUSE Workshop on Preference
More informationImplication functions in interval-valued fuzzy set theory
Implication functions in interval-valued fuzzy set theory Glad Deschrijver Abstract Interval-valued fuzzy set theory is an extension of fuzzy set theory in which the real, but unknown, membership degree
More informationExtending the Monoidal T-norm Based Logic with an Independent Involutive Negation
Extending the Monoidal T-norm Based Logic with an Independent Involutive Negation Tommaso Flaminio Dipartimento di Matematica Università di Siena Pian dei Mantellini 44 53100 Siena (Italy) flaminio@unisi.it
More informationFirst Results for a Mathematical Theory of Possibilistic Processes
First Results for a Mathematical heory of Possibilistic Processes H.J. Janssen, G. de Cooman and E.E. Kerre Universiteit Gent Vakgroep oegepaste Wiskunde en Informatica Krijgslaan 281, B-9000 Gent, Belgium
More informationCHAPTER 11. Introduction to Intuitionistic Logic
CHAPTER 11 Introduction to Intuitionistic Logic Intuitionistic logic has developed as a result of certain philosophical views on the foundation of mathematics, known as intuitionism. Intuitionism was originated
More informationMathematical Foundations of Logic and Functional Programming
Mathematical Foundations of Logic and Functional Programming lecture notes The aim of the course is to grasp the mathematical definition of the meaning (or, as we say, the semantics) of programs in two
More informationFoundations of non-commutative probability theory
Foundations of non-commutative probability theory Daniel Lehmann School of Engineering and Center for the Study of Rationality Hebrew University, Jerusalem 91904, Israel June 2009 Abstract Kolmogorov s
More information