%PDF-1.4 % 3 0 obj << /pgfprgb [/Pattern /DeviceRGB] >> endobj 13 0 obj << /S /GoTo /D (Outline0.1) >> endobj 16 0 obj (Abstract) endobj 17 0 obj << /S /GoTo /D (Outline0.2) >> endobj 20 0 obj (Weak interpolation and joint consistency) endobj 21 0 obj << /S /GoTo /D (Outline0.3) >> endobj 24 0 obj (Propositional J-logics) endobj 25 0 obj << /S /GoTo /D (Outline0.4) >> endobj 28 0 obj (Reduction of WIP) endobj 29 0 obj << /S /GoTo /D (Outline0.5) >> endobj 32 0 obj (Weak interpolation and weak amalgamation) endobj 33 0 obj << /S /GoTo /D (Outline0.6) >> endobj 36 0 obj (Weak interpolation and weak amalgamation) endobj 37 0 obj << /S /GoTo /D (Outline0.7) >> endobj 40 0 obj (Logics with WIP over Gl) endobj 41 0 obj << /S /GoTo /D (Outline0.8) >> endobj 44 0 obj (Description of logics with WIP over Gl and J) endobj 45 0 obj << /S /GoTo /D [46 0 R /Fit ] >> endobj 90 0 obj << /Length 1766 /Filter /FlateDecode >> stream xYr6}Wњ Q\xӸ]Y3N4-ltI$9}w)ʱI2Xg..ap:[>bp1-wB^T C#I+n2Ye\>ARi"N4ThD3l8TLJ"`g,'.pA~*QVJCːD프1*h%Hn Խmq$<=:pn䔁fҦ09/r-H$!#}"t3tNUPRѳ o;zD{%OҌ*>Z`ȪD?+3LeF `nG4&@#[= (mf3[ڝ|?q?&.KKR}pШgXxY-"IJEKh S_K|ZZ©75\VӠ#FDƆ1/Ǥ;\(Hw0#.jV%`(6r-`e-B7ދ: wͅGhn
5F49U(b3ڙg5I"SpN-
XA7U`wSN7{!icD
Rr<ؖB3N7z?^$Y*ILURMwDdf'i.s/7b*WɼryF>/-/V%ȧ8.b
#h.n}{ut
ΟO|O
ڪOzo;Õ7Y'K;>1q+ۻdU,mq"i%oQXLS%I׆
[
LDlMU^a CvA!Ot5Ln*^PXHXD9jdv=9H$M4"msG,_iv'>g8\o\_ϖnuH*@2 䌡9rW^HXy
^I<گ1z&7V&aME'uY?#`KAbhr&6q/R-T3qT6kF1ݎIIo'}qlzҎ@X4BXu #w(H4sZUKZ.}|Iթ
ݮt<Q2acu}/
T[AQ`tE#Btmt=ǂ6?Nm
wW._ OkrT(z MWC%`OUFg'CGC17iqG=:=z;'gGN3GBLy-).q!=*tV;@l CTeAG\\/4cj]֓v6_O0;9$@U^O*y^b5ϋ6ad|n,J&^#D+T^p˳W~i
(ݫX#jd:C_
ނ
J3|{XUu`b=uizsXaTpZj
mo/L'܂]tn1qrpcuXjÿXY9/gNw]A/C(?a!
endstream
endobj
46 0 obj <<
/Type /Page
/Contents 90 0 R
/Resources 89 0 R
/MediaBox [0 0 362.835 272.126]
/Trans << /S /R >>
/Parent 96 0 R
/Annots [ 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R 66 0 R 67 0 R 68 0 R 69 0 R 70 0 R 71 0 R 72 0 R 73 0 R 74 0 R 75 0 R 76 0 R 77 0 R 78 0 R 79 0 R 80 0 R 81 0 R 82 0 R 83 0 R 84 0 R 85 0 R 86 0 R 87 0 R 88 0 R ]
>> endobj
12 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 362.835 272.126]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 97 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
97 0 obj <<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [0 0.0 0 272.12965] /Function << /FunctionType 2 /Domain [0 1] /C0 [1 0.9 0.9] /C1 [0.9 0.9 1] /N 1 >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>> endobj
47 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 362.835 3.985]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 98 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
98 0 obj <<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [0 0.0 0 3.9851] /Function << /FunctionType 2 /Domain [0 1] /C0 [0.95 0.9 0.95] /C1 [0.47499 0.45 0.47499] /N 1 >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>> endobj
58 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 8 8]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 99 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
99 0 obj <<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [4.00005 4.00005 0.0 4.00005 4.00005 4.00005] /Function << /FunctionType 2 /Domain [0 1] /C0 [0.47499 0.45 0.47499] /C1 [0.95 0.9 0.95] /N 1 >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>> endobj
59 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 16 16]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 100 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
100 0 obj <<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 8.00009] /Coords [8.00009 8.00009 0.0 8.00009 8.00009 8.00009] /Function << /FunctionType 3 /Domain [0.0 8.00009] /Functions [ << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.47499 0.45 0.47499] /C1 [0.47499 0.45 0.47499] /N 1 >> << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.47499 0.45 0.47499] /C1 [0.95 0.9 0.95] /N 1 >> ] /Bounds [ 4.00005] /Encode [0 1 0 1] >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>> endobj
57 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 5669.291 8]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 101 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
101 0 obj <<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 8.00009] /Coords [0 0.0 0 8.00009] /Function << /FunctionType 3 /Domain [0.0 8.00009] /Functions [ << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.95 0.9 0.95] /C1 [0.47499 0.45 0.47499] /N 1 >> << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.47499 0.45 0.47499] /C1 [0.47499 0.45 0.47499] /N 1 >> ] /Bounds [ 4.00005] /Encode [0 1 0 1] >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>> endobj
60 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [233.913 12.524 241.883 21.988]
/A << /S /GoTo /D (Navigation1) >>
>> endobj
61 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[1 0 0]
/Rect [239.891 12.524 249.853 21.988]
/Subtype/Link/A<>
>> endobj
62 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [247.861 12.524 255.831 21.988]
/A << /S /GoTo /D (Navigation2) >>
>> endobj
63 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [254.946 12.524 261.92 21.988]
/A << /S /GoTo /D (Navigation1) >>
>> endobj
64 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [259.927 12.524 266.901 21.988]
/A << /S /GoTo /D (Navigation1) >>
>> endobj
65 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [264.909 12.524 271.883 21.988]
/A << /S /GoTo /D (Navigation1) >>
>> endobj
66 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [269.89 12.524 276.864 21.988]
/A << /S /GoTo /D (Navigation2) >>
>> endobj
67 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [275.979 12.524 282.953 21.988]
/A << /S /GoTo /D (Navigation1) >>
>> endobj
68 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [280.96 12.524 287.934 21.988]
/A << /S /GoTo /D (Navigation1) >>
>> endobj
69 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [285.942 12.524 292.916 21.988]
/A << /S /GoTo /D (Navigation41) >>
>> endobj
70 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [290.923 12.524 297.897 21.988]
/A << /S /GoTo /D (Navigation41) >>
>> endobj
71 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [297.012 12.524 303.986 21.988]
/A << /S /GoTo /D (Navigation1) >>
>> endobj
72 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [301.994 12.524 308.967 21.988]
/A << /S /GoTo /D (Navigation1) >>
>> endobj
73 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [306.975 12.524 313.949 21.988]
/A << /S /GoTo /D (Navigation41) >>
>> endobj
74 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [311.956 12.524 318.93 21.988]
/A << /S /GoTo /D (Navigation41) >>
>> endobj
75 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [318.045 12.524 329.004 21.988]
/A << /S /GoTo /D (Navigation1) >>
>> endobj
76 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [327.012 12.524 339.963 21.988]
/A << /S /GoTo /D (Navigation41) >>
>> endobj
77 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[1 0 0]
/Rect [339.078 12.524 348.045 21.988]
/Subtype/Link/A<>
>> endobj
78 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[1 0 0]
/Rect [346.052 12.524 354.022 21.988]
/Subtype/Link/A<>
>> endobj
79 0 obj <<
/Type /Annot
/Border[0 0 0]/H/N/C[1 0 0]
/Rect [352.03 12.524 360.996 21.988]
/Subtype/Link/A<>
>> endobj
80 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [-0.996 261.59 182.414 271.334]
/A << /S /GoTo /D (Navigation2) >>
>> endobj
81 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [-0.996 253.838 182.414 263.582]
/A << /S /GoTo /D (Navigation9) >>
>> endobj
82 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [-0.996 246.087 182.414 255.831]
/A << /S /GoTo /D (Navigation14) >>
>> endobj
83 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [-0.996 238.336 182.414 248.08]
/A << /S /GoTo /D (Navigation18) >>
>> endobj
84 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [-0.996 230.585 182.414 240.328]
/A << /S /GoTo /D (Navigation21) >>
>> endobj
85 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [-0.996 222.833 182.414 232.577]
/A << /S /GoTo /D (Navigation22) >>
>> endobj
86 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [-0.996 215.082 182.414 224.826]
/A << /S /GoTo /D (Navigation30) >>
>> endobj
87 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [-0.996 207.331 182.414 217.074]
/A << /S /GoTo /D (Navigation34) >>
>> endobj
88 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [188.925 1.284 299.875 8.934]
/A << /S /GoTo /D (Navigation41) >>
>> endobj
92 0 obj <<
/D [46 0 R /XYZ 28.346 204.745 null]
>> endobj
94 0 obj <<
/D [46 0 R /XYZ 334.488 0 null]
>> endobj
95 0 obj <<
/D [46 0 R /XYZ 334.488 0 null]
>> endobj
89 0 obj <<
/ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R
/Font << /F24 91 0 R /F25 93 0 R >>
/XObject << /Fm1 12 0 R /Fm2 47 0 R /Fm4 58 0 R /Fm5 59 0 R /Fm3 57 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
142 0 obj <<
/Length 1229
/Filter /FlateDecode
>>
stream
xXKs6WV I뉧Il遡h$"] m9n3bKɌƛȈͷy[>=RNJ?=;NRG(XAZc1$ą2P2A#U5剕nTT "K[Z{s4eIj4٢Kqܐ#Q @Bj@oc`ovG2Tl
j4W#I[[G #)nviQym l1A!
J:7>W}Ҍ*"w8[
Zҏen·6".nAhNOR촓bv?
$h+>ڗ#=P'̈;7I$H`,D'2I79O "̃