%PDF-1.4 5 0 obj << /S /GoTo /D (section.1) >> endobj 8 0 obj (Introduction) endobj 9 0 obj << /S /GoTo /D (section.2) >> endobj 12 0 obj (The C-systems) endobj 13 0 obj << /S /GoTo /D (subsection.2.1) >> endobj 16 0 obj (Non-algebraizability) endobj 17 0 obj << /S /GoTo /D (subsection.2.2) >> endobj 20 0 obj (da Costa algebras) endobj 21 0 obj << /S /GoTo /D (subsection.2.3) >> endobj 24 0 obj (Bivaluation semantics) endobj 25 0 obj << /S /GoTo /D (section.3) >> endobj 28 0 obj (Behavioral algebraization) endobj 29 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 32 0 obj (KC1-algebras) endobj 33 0 obj << /S /GoTo /D (subsection.3.2) >> endobj 36 0 obj (Lewin, Mikenberg and Schwarze's argument no longer applies) endobj 37 0 obj << /S /GoTo /D (section.4) >> endobj 40 0 obj (Revisiting da Costa algebras) endobj 41 0 obj << /S /GoTo /D (subsection.4.1) >> endobj 44 0 obj (More on valuation semantics) endobj 45 0 obj << /S /GoTo /D (section.5) >> endobj 48 0 obj (Concluding remarks) endobj 49 0 obj << /S /GoTo /D (section.6) >> endobj 52 0 obj (References) endobj 53 0 obj << /S /GoTo /D [54 0 R /Fit ] >> endobj 56 0 obj << /Length 2045 /Filter /FlateDecode >> stream xڭ˒6-T!$R[q I G5ʿo7|pO~|eYelhЛ(I1Ghfi_r ְZ]^<,ޟ*_ʼe̊C_/x$YF^*'e:WaE;YwB}2-;ƜerAUR!Ql3[,)"kB+bQ^y>^*s 8 2a)q6+!T݊ղbUDKKE|{4K<Ոnc~LBu+3euVq7Dmk{g]8Z60+`13Fɣl3 .k.rGa*R6?mUv# 9?M#]^ޙ=SgCٱG)&`KI?)r YUNU4~uj@l˳o%-G`<-X4Ɋ@YIj>Ҿ'>h ̛CTՋX/EghLkqx
rGT'O56/Y+eƊ"Z"-