%PDF-1.4
%
5 0 obj
<< /S /GoTo /D (section.0.1) >>
endobj
8 0 obj
(Introduction)
endobj
9 0 obj
<< /S /GoTo /D (section.0.2) >>
endobj
12 0 obj
(Kracht formulas.)
endobj
13 0 obj
<< /S /GoTo /D (section.0.3) >>
endobj
16 0 obj
(Semantic Characterization)
endobj
17 0 obj
<< /S /GoTo /D (section.0.4) >>
endobj
20 0 obj
(Soundness)
endobj
21 0 obj
<< /S /GoTo /D (section.0.5) >>
endobj
24 0 obj
(Model-theoretic background)
endobj
25 0 obj
<< /S /GoTo /D (section.0.6) >>
endobj
28 0 obj
(Completeness)
endobj
29 0 obj
<< /S /GoTo /D (section.0.7) >>
endobj
32 0 obj
(``Cubic'' property)
endobj
33 0 obj
<< /S /GoTo /D (section.0.8) >>
endobj
36 0 obj
(Final Remarks)
endobj
37 0 obj
<< /S /GoTo /D (section*.1) >>
endobj
40 0 obj
(References)
endobj
41 0 obj
<< /S /GoTo /D [42 0 R /Fit ] >>
endobj
59 0 obj <<
/Length 1997
/Filter /FlateDecode
>>
stream
xڭX[~_AT
ZtD9s*J$/MEM8ίOZxxRIU^,j[}E$!xOUp%