%PDF-1.5
%
1 0 obj
<>
endobj
2 0 obj
<>
endobj
3 0 obj
<>stream
IEEE
IEEE Transactions on Fuzzy Systems; ;PP;99;10.1109/TFUZZ.2020.2975146
mathematical fuzzy logic
omitting types theorem
first-order fuzzy logics
uninorms
weighted structures
A General Omitting Types Theorem in Mathematical Fuzzy Logic
Guillermo Badia
Carles Noguera
endstream
endobj
4 0 obj
<>stream
x+ |
endstream
endobj
5 0 obj
<>stream
x=0WܨA
7&
K_o14Ga'0A8Qƚye(X W98* ,2N7*5
endstream
endobj
6 0 obj
<>stream
x+ |
endstream
endobj
7 0 obj
<>stream
x=0WܨA
D#*nhMX(Z-bny#t䴭T=xK!?00R&4V}eNRQz+ٙw^d;#Г3Da M(v~BkM"sTCgUSFE95
endstream
endobj
8 0 obj
<>stream
x+ |
endstream
endobj
9 0 obj
<>stream
x=0WܨA#*nhMX(Z-bny#t䴭T=xK!?0pćiMi=LWγ3)GwF4>4'ag0A8Q%~BkM"sTCgUSFE95
endstream
endobj
10 0 obj
<>stream
x+ |
endstream
endobj
11 0 obj
<>stream
x=0WܨAZF6TК6RZ,%G% h]iDC1f?0x%hi+3L}`oSDE8ُiCh
ҌM`lc }Mm8ۡUZ"kkȾoK\ЕJ\5
endstream
endobj
12 0 obj
<>stream
x+ |
endstream
endobj
13 0 obj
<>stream
x0)ΨA*nhMX(Z-Oo1g%i]=v
eM沣E:+kz0қN9$<
p6Qh\*
#oGIk:Y[ce \ପ2zv
/8ݨ%5
endstream
endobj
14 0 obj
<>stream
x+ |
endstream
endobj
15 0 obj
<>stream
x=0WܨF6TК6RZ,%G% h]iDC܃88D~.;ZdZFAi7QdNcZ+Z4t8_,>I۰?qC9NEE
}NE+5
endstream
endobj
16 0 obj
<>stream
x+ |
endstream
endobj
17 0 obj
<>stream
x=0WܨAD#*nhMX)ZSZ,%Gi];brb``&Js":
K3L|`o3xG8ُV4!gaF&0JAIleQ{mSw ^OE+Ui5
endstream
endobj
18 0 obj
<>stream
x+ |
endstream
endobj
19 0 obj
<>stream
x=0WܨAD"*nhMX(Z-bny#t䴭TXR&4V}eNRQz+ٙw^d;#Г3Da M(~BkM"sTCgUSFE9v5
endstream
endobj
20 0 obj
<>stream
x+ |
endstream
endobj
21 0 obj
<>stream
x=0WܨAZF6TК6RZ,%G% h]iDC1f?0x%hi+3L}`oSDE8ُiCh
ҌM`lc }Mm8ۡUZ"kkȾoK\ЕJ5
endstream
endobj
22 0 obj
<>/SaveStreams<>/Metadata 3 0 R/Type/Catalog/Outlines 26 0 R/Pages 27 0 R>>
endobj
28 0 obj
<>
endobj
26 0 obj
<>
endobj
24 0 obj
<>stream
xS(T e
endstream
endobj
25 0 obj
<>stream
xST %
endstream
endobj
27 0 obj
<>
endobj
29 0 obj
<>
endobj
23 0 obj
<>>>/Parent 27 0 R/Annots[83 0 R 84 0 R 85 0 R 86 0 R 87 0 R 88 0 R 89 0 R 90 0 R 91 0 R 92 0 R 93 0 R 94 0 R 95 0 R 96 0 R 97 0 R 98 0 R 99 0 R 100 0 R 101 0 R 102 0 R 103 0 R 104 0 R 105 0 R 106 0 R 107 0 R 108 0 R 109 0 R 110 0 R 111 0 R 112 0 R 113 0 R]/MediaBox[0 0 612 792]>>
endobj
30 0 obj
<>>>/Parent 27 0 R/Annots[121 0 R 122 0 R 123 0 R 124 0 R 125 0 R 126 0 R 127 0 R 128 0 R 129 0 R 130 0 R 131 0 R 132 0 R 133 0 R 134 0 R]/MediaBox[0 0 612 792]>>
endobj
31 0 obj
<>>>/Parent 27 0 R/Annots[143 0 R 144 0 R 145 0 R 146 0 R]/MediaBox[0 0 612 792]>>
endobj
32 0 obj
<>>>/Parent 27 0 R/Annots[148 0 R 149 0 R 150 0 R 151 0 R 152 0 R]/MediaBox[0 0 612 792]>>
endobj
33 0 obj
<>>>/Parent 27 0 R/Annots[158 0 R 159 0 R 160 0 R 161 0 R 162 0 R 163 0 R 164 0 R 165 0 R]/MediaBox[0 0 612 792]>>
endobj
34 0 obj
<>>>/Parent 27 0 R/Annots[167 0 R 168 0 R]/MediaBox[0 0 612 792]>>
endobj
35 0 obj
<>>>/Parent 27 0 R/MediaBox[0 0 612 792]>>
endobj
36 0 obj
<>>>/Parent 27 0 R/Annots[171 0 R 172 0 R 173 0 R]/MediaBox[0 0 612 792]>>
endobj
37 0 obj
<>>>/Parent 27 0 R/Annots[175 0 R 176 0 R 177 0 R 178 0 R 179 0 R]/MediaBox[0 0 612 792]>>
endobj
40 0 obj
<>
endobj
38 0 obj
<>stream
xڭ[[wF~ϯ#uA7y[cgL&V&gHA%
뷾j g3;/Dw]W7_/o*$H(0JbKnsu0w~ 62KCKȋzD⛢.ڼ?eߗVjwש8NiTK_f|Zli/"/n7çOG)oCy(ͰIl-hL 3}3UUFƾ7e.żH6o+@gy 'Ueq2JLl KQ*JV]^NSTk]uM8䇢E1^8P.uSmb˦h,vk.
7v92若eF;R4+OEG4 suңQ@Svܕ>Z'k!H+{D$G^ZXWyYиo6E%-|㗮BX(t-gTaΈMWW$.i4k-~6>ϟt4+;ȔƃrM7IX~eʂX7R) &rqDdx5ԺN-?cxy#CBJ~Xr[PR6WeNȧ3?EN xwNИngSƩ ( My2N0Y_-#ڼrN?;n{Mh=kC7Mp>K?Kͱp% 6Il-o2ӮBTBeԾcUCrB
CmV<7;b",!Ǘhօ4)]8.* t;e b=Tx4WuiSI-mF!pVޖe7:Bu7W!+ u-ni?`Ů
3؎p]A>4ipM 頃Ci3ǴZ7,
>CkA ʼny겦kZF6r`J4FM;O\yw)9/TcWZDp# ! hɥjDGVs#g]lZQgI'֮W(Buiń؞q;PĂxDw BIHael ,~$``W˷>,}qo3$&IEdߐB\- W&LdehYܽ;-}`PSPٶ9KQ}CVnIda7|ن
@{қ&ZjP֏E[xש6r5ÅIr
2MjD%9ebCңo'b{wbA"1#۰IbvtrxD#y[PART<];Xt,Ά}v'>M*"m2s" ^Ą6?@4WY1؈8L;^9)EuT0wI9Sj(W6A4KB^f0'ס٘Ot.z)umPAH/Z^ppBN@+wڨVi.̓?i_Heߴ[URqZsKJ%2
_;1*¸Xu_0$d#Vxqy(2oCļUx[=|qňq0Q>>jU}^brrB} 3;HM6|Ich(CB6/bs{8Z6u`X'"%aW-y{KE٧-"V\JsCv s[[}!ǎXU'Ӂ]6Y
ؐ\2d p
iNyXJcϊd'"1Ȓ= \=:>"oa J.?d'-wü -NbBJmV]+5qkHPWG.L,>8r3ٌC3T iʑ,J_fi|lJ8,bFk6AAZ/jjj3pHE16:uU;%#?2g`":icj
7 D|/t
+O:xMKj驚Ɨ
`HjR),ԗU%Xz7aKCs+WƗtƚ[X-hےmK6\W;b#_f,57-QVN5RE
>3bfL>k\|W.c6\Eд%1*Q@䮩S]Nx7}9ud3hINov(zlE%]Y5]sة8Kqetzݖ*~a]
Uثz>iQ>{Փ "X{\l8h.'z jFj6`jf1ZPL>f"X/O(Y:i+O*+%T0:6dZͺ-
fbGٜW퓒OG{PT,760Q0#X7#S4)Tᓒ{ /b:D^KRy3Ժ7b`'rT(5SWJp#BbWk'GHθt7REp쇾{]pFB@ݨ,F:F[um,!JĄF){ơ,{!nkҖCm7Dl/"*0 j1/gC>nd-"a0*Fڜ.Rh,;MðX?` WQ6X6e[Z<9m0r *.AuT&osp?;2 #]O2'n.2^>TglqgogjrF,b&Ә[I&sKItݙEW.uh܈+_%n&^k=g.<Dk4oeC|V7WP
S{~ rRWpA[иFds`K`J$'*@k?Eub1i !5 J}r)
wYηEQߩ*Zqt7F8Ac3b
NBB\D{i|P\`
?Ŗ&a\K)cm/.*'WF*y,nlݛ#\Cah\ߔlQfC`cm@naiosM@-龜r$m)wס^GC*p6.%`"X./H=E\OAu;vo|{~v;7Gu2VI4xo2Wtќ0WI5| -$P*2 h!/w7^h]h)]NίoPx,ρ19fjDc}S:OmٵssBNH*Zx
4x}osY^f94Sy*jr}C؟H{R
5%Ֆdv;}U=?M.iE4%{q\C@mC^-Z+OOBi̵PHMPhaxƜ&)ƏG{BCsOj"h$>'[2/>@Irԩu<6CRŸe"$0ޥ1a.x0@5uUx>MjsAPWE.=Y2h
xdGu{c7|߭隄.0B$2͊M5jqG-JQ|./HCUsizz|[n˚JħG34d?S:Şg鬧\Ĩ: 1.%1(=DM|#5yboSq5Aln 䈦4%x,D ԥQc*ز1.2*y-0FE:ܟpʯQL젎\g|!dFI|5O6^T9jx҆dnPqLcl٢hY^]Mzfy9e3wťF+* 壋%
5ySLU3&HOy}!K`0jR)bPvdpβS3=.%a2WOeO={=09|0f'SW7pJРV)I*ᘼAmx1t90Zj#ii,Xuc ,/
nG_O /*
Bd8T~ңuyv97t"UHN@a./3 S i4
^^fTWXmƿIWѠ$
D
W'HGh
NÔsPнXsu&W?O䂲R~M{I->*l!pR4h>99iIe3=Y_.l8
&\%q/t#RRܣw_/
endstream
endobj
39 0 obj
<>>>
endobj
41 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[195.659 315.454 202.633 326.398]>>
endobj
42 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[208.482 291.543 215.455 302.487]>>
endobj
43 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[67.955 279.588 74.929 290.532]>>
endobj
44 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[204.165 279.588 211.139 290.532]>>
endobj
45 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[140.619 267.633 147.593 278.577]>>
endobj
46 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[157.217 267.633 164.19 278.577]>>
endobj
47 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[67.826 231.414 74.8 242.358]>>
endobj
48 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[84.424 231.414 96.379 242.358]>>
endobj
49 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[180.613 219.459 192.568 230.403]>>
endobj
50 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[500.897 568.991 512.852 579.935]>>
endobj
51 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[524.27 568.991 536.226 579.935]>>
endobj
52 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[542.952 557.036 554.907 567.98]>>
endobj
53 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[526.652 533.242 538.608 544.186]>>
endobj
54 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[548.76 533.242 560.715 544.186]>>
endobj
55 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[513.184 497.376 525.14 508.32]>>
endobj
56 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[444.883 485.421 456.839 496.365]>>
endobj
57 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[467.388 485.421 479.343 496.365]>>
endobj
58 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[375.486 473.466 387.441 484.41]>>
endobj
59 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[511.82 473.466 523.775 484.41]>>
endobj
60 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[355.907 449.556 367.862 460.499]>>
endobj
61 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[546.269 437.6 558.224 448.544]>>
endobj
62 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[442.898 425.645 454.853 436.589]>>
endobj
63 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[450.029 413.69 461.984 424.634]>>
endobj
64 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[446.259 401.851 453.233 412.795]>>
endobj
65 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[462.856 401.851 474.812 412.795]>>
endobj
66 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[398.636 234.131 410.591 245.074]>>
endobj
67 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[422.131 234.131 434.087 245.074]>>
endobj
68 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[445.627 234.131 457.582 245.074]>>
endobj
69 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[510.068 222.176 522.023 233.119]>>
endobj
70 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[461.24 210.22 473.195 221.164]>>
endobj
71 0 obj
<>/C[0 1 0]/Subtype/Link/Type/Annot/H/I/Border[0 0 1]/Rect[503.955 126.65 515.91 137.594]>>
endobj
72 0 obj
<>stream
HWێ8}o G{RKrb:Yx@-ӶfdɫKzߪ"%NgM*u9