. [9] W. Carnielli, M. Coniglio, and J. Marcos. Logics of Formal Inconsistency. In D. Gabbay and F. Guenthner, editors, Handbook of Philosphical Logic, volume 14, pages 1–93. Dordrecht: Springer-Verlag, 2007. [10] W. Carnielli, J. Marcos, and S. de Amo. Formal inconsistency and evolutionary databases. Logic and Logical Philosophy, 8:115–152, 2000. [11] M.I. Corbalan. Conectivos de Restauracao Locas. PhD thesis, Universidade Estadual de Campinas, 2012. [12] Newton C. A. da Costa. On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15:497–510, 1974. [13] H. Field. Saving truth from paradox. Oxford University Press, 2008. [14] M. Fitting. A kripke-kleene semantics for logic programs. The Journal of Logical Programming, 2(4):295–312, 1985. [15] A. Gupta and N. Belnap. The Revision Theory of Truth. MIT, Cambridge, MA, 1993. [16] S. Halldén. The logic of nonsense. PhD thesis, Uppsala University, 1949. 17 18 BIBLIOGRAPHY [17] S. Kleene. On notation for ordinal numbers. Journal of Symbolic Logic, 3:150–155, 1938. [18] S. Kleene. Metamathematics. North Holland, Amsterdam, 1952. [19] S. Kripke. Outline of a thoery of truth. The Journal of Philosophy, 72(19):690– 716, 1975. [20] J. Marcos. Logics of Formal Inconsistency. PhD thesis, Universidade Estadual de Campinas, 2005. [21] H. Omori. Halldèn's logic of nonsense and its expansions in view of logics of formal inconsistency. In Database and Expert Systems Applications (DEXA), 27th International Workshop, pages 129–133, 2016. [22] H. Omori and K. Sano. da Costa meets Belnap and Nelson. In R. Ciuni and H. Wansing and C. Willkommen, editors, Recent Trends in
. [ 9 ] W. Carnielli, M. Coniglio, and J. Marcos. Logics of Formal Inconsistency. In D. Gabbay and F. Guenthner, editors, Handbook of Philosphical Logic, volume 14, pages 1–93. Dordrecht: Springer - Verlag, 2007. [ 10 ] W. Carnielli, J. Marcos, and S. de Amo. conventional incompatibility and evolutionary databases. Logic and Logical Philosophy, 8:115–152, 2000. [ 11 ] M.I. Corbalan. Conectivos de Restauracao Locas. PhD dissertation, Universidade Estadual de Campinas, 2012. [ 12 ] Newton C. A. da Costa. On the theory of discrepant formal systems. Notre Dame Journal of Formal Logic, 15:497–510, 1974. [ 13 ] H. Field. save truth from paradox. Oxford University Press, 2008. [ 14 ] M. Fitting. A kripke - kleene semantics for logic programs. The Journal of Logical Programming, 2(4):295–312, 1985. [ 15 ] A. Gupta and N. Belnap. The Revision Theory of Truth. MIT, Cambridge, MA, 1993. [ 16 ] S. Halldén. The logic of folderal. ph thesis, Uppsala University, 1949. 17 18 BIBLIOGRAPHY [ 17 ] S. Kleene. On notation for ordinal number. Journal of Symbolic Logic, 3:150–155, 1938. [ 18 ] S. Kleene. Metamathematics. North Holland, Amsterdam, 1952. [ 19 ] S. Kripke. Outline of a thoery of truth. The Journal of Philosophy, 72(19):690 – 716, 1975. [ 20 ] J. Marcos. Logics of Formal Inconsistency. PhD dissertation, Universidade Estadual de Campinas, 2005. [ 21 ] H. Omori. Halldèn's logic of nonsense and its expansions in opinion of logics of formal incompatibility. In Database and Expert Systems Applications (DEXA), 27th International Workshop, pages 129–133, 2016. [ 22 ] H. Omori and K. Sano. da Costa meets Belnap and Nelson. In R. Ciuni and H. Wansing and C. Willkommen, editors, Recent Trends in
. [9] W. Carnielli, M. Coniglio, ana J. Marcos. Logiew of Fmrmal Jnconsisgency. In D. Gabbay and F. Guenvhnee, ediujrs, Handbook of Phklosphicap Logic, colunw 14, pages 1–93. Vkrdrechb: Sprjkger-Vzroag, 2007. [10] W. Carniekli, J. Marcms, and S. de Amm. Woxmal inconsistency and evolutionary qatabasrs. Logic and Logycal [hilksophy, 8:115–152, 2000. [11] M.I. Corbalan. Conectivos ds Restalracao Locas. PhD yhesis, Universidade Estaduwl df Campinas, 2012. [12] Newtoj C. A. da Cowta. Jb the theory of inconspvtent formzl systems. Notre Dame Journal ow Forkal Logic, 15:497–510, 1974. [13] H. Vheld. Saving trutr from paradox. Oxforg Univetsity Press, 2008. [14] K. Fmttibg. A kripke-kleene sementics for logic prodrams. The Jkurnal of Logical Peograkminc, 2(4):295–312, 1985. [15] Q. Gjptz end N. Beljap. The Revisjon Theory if Truth. MIT, Cambricgq, MA, 1993. [16] S. Halldéh. The jodic of nonsense. PhD thesis, Uppsala Univtrsitg, 1949. 17 18 BIBLIOGRAPHY [17] S. Klwene. On notation for lrdinal ntmbers. Journal of Symbolic Logic, 3:150–155, 1938. [18] S. Kleene. Metakathejxtiew. Norgy Jolland, Amsterdam, 1952. [19] S. Kripke. Outline of a thoqdy on truth. The Jourkal of Philosophy, 72(19):690– 716, 1975. [20] K. Marcos. Logicr of Formzl Inconsistency. PjD thesys, Unuversidadt Estsdual de Campinas, 2005. [21] H. Omori. Halldèn's logpc od nonsense and its expansions in fiew pf logics of formal incunsiatency. In Dwtabase aha Expert Systems Apilicdtions (DTBA), 27th Internationwl Workship, pcges 129–133, 2016. [22] F. Ompri anq K. Sano. dw Cosbd meets Belnap and Nelsln. In R. Ciunl and H. Wansing and C. Willkommei, editors, Recgnt Trvnds in
. [9] W. Carnielli, M. Coniglio, and Logics Formal Inconsistency. D. Gabbay and Philosphical volume 14, pages Dordrecht: Springer-Verlag, 2007. W. Carnielli, J. Marcos, and S. Amo. Formal inconsistency and evolutionary databases. Logic and Logical Philosophy, 8:115–152, 2000. [11] Corbalan. Conectivos de Restauracao Locas. PhD thesis, Universidade Estadual de Campinas, 2012. [12] C. da On theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15:497–510, 1974. [13] H. Field. truth from paradox. Oxford University Press, 2008. [14] Fitting. A kripke-kleene semantics logic programs. The Journal of Programming, 1985. [15] Gupta N. The Revision Theory Truth. MIT, Cambridge, MA, 1993. [16] S. Halldén. The logic of nonsense. PhD thesis, Uppsala University, 1949. 18 BIBLIOGRAPHY Kleene. On for numbers. of Symbolic Logic, [18] S. Kleene. Metamathematics. North Holland, S. Kripke. Outline of a thoery of truth. Journal of 72(19):690– 716, 1975. [20] J. Marcos. of Formal Inconsistency. PhD thesis, Universidade Estadual de 2005. [21] H. Omori. Halldèn's logic of nonsense and its expansions in view of logics inconsistency. In Database and Systems Applications (DEXA), International pages 2016. H. Omori K. Sano. da Costa meets Belnap and Nelson. In R. Ciuni H. Wansing and C. Willkommen, editors, Recent Trends in
. [9] W. Carnielli, M. Coniglio, and J. MaRcos. Logics Of ForMal incOnSistEncy. in D. Gabbay and F. GUEnthNer, editors, Handbook of PhIlospHiCAl LoGIc, VolumE 14, pages 1–93. DORdRECht: spRiNgeR-VERlAg, 2007. [10] W. CaRniElli, J. MaRcos, and S. de amo. foRmal inconsisTEnCy and evoluTioNary databaseS. LoGic and loGicAL PhilOsoPhy, 8:115–152, 2000. [11] M.I. corbalAN. ConecTivos de ReStAUracao lOcas. PhD THEsIs, UnIversidade EstaduaL De cAmpinas, 2012. [12] Newton C. a. da CosTa. oN tHE TheOry Of inconsisTeNt forMAl systeMS. NOTRE DaME Journal of ForMal Logic, 15:497–510, 1974. [13] H. FiELd. SAving tRuTh fROm paraDox. OxFoRD UnIversity PreSs, 2008. [14] M. FItting. A krIpke-klEEne semaNTics for Logic pRogRamS. The jOuRnAl oF LOGicAL PRogRAmmIng, 2(4):295–312, 1985. [15] A. GuptA aNd n. BelnAp. ThE rEVIsioN ThEory Of TruTh. MIT, CambridgE, MA, 1993. [16] s. HalLDén. the loGic of NonsEnSe. PhD Thesis, uppsaLa university, 1949. 17 18 BIBLIoGRApHY [17] S. KleenE. On NoTatIoN for oRDinal nUmbErs. journal Of SymboLIc LOgIC, 3:150–155, 1938. [18] s. klEene. MetamathematicS. NORTh holland, AMsterdAM, 1952. [19] S. krIPke. OutliNe Of a ThoeRY Of truTh. ThE joUrnal of PHilosoPHy, 72(19):690– 716, 1975. [20] j. MArcos. LoGiCs of FoRmAl INcoNsistENcy. PHD thesIs, UniverSidadE estadual de CampINas, 2005. [21] H. Omori. HallDÈn'S LOgIC of nOnsEnse and its eXpanSIons In viEW oF loGIcs of FormaL iNCoNSistency. In Database aNd expert systeMs ApplicationS (DEXA), 27th IntERNAtional WOrksHOp, PAges 129–133, 2016. [22] H. Omori and K. sano. dA Costa meetS belnap anD NelsOn. In R. CiuNi and H. WanSINg and C. WiLlkOmmEn, eDitORS, REcent Trends in
. [9] W. Carnielli, M. Con iglio, and  J. M arc os.  L ogic s of  Formal Incons i sten cy. In D. Gabbay and F . Gue nt h ner, ed itors , Handb o ok o f P hi lo sph ic a lLogic , v olume 1 4, pages 1 –93 .Dordrecht: S p ri nger-Verla g,2007. [10] W . C arniel li , J .  Marc os,  andS. deA mo. Fo rmal inco ns i stency and evo l u ti onar y databases. Logi c  a n d Logical Phil osophy ,8 :1 1 5 –15 2,2000. [11]  M .I. C o rbalan. Co n e c tiv o s de Restaura cao Locas.P hDthesis ,Uni v ersida de Es ta d ual  de Campina s, 2 012. [12]  Newto n  C. A.d a Costa . On t hethe oryo fin con si s ten t  f orm a l s ystems.No tr e Dam e Jo u r n a l of  Fo rmal  Logi c, 15:497–510 , 1 974. [13 ] H.Field . Sa vi ng tr uth fr om pa ra dox. Oxford Uni vers ity Press , 2 00 8.[1 4] M. Fittin g.A k ripke-k leene s e man ti c s fo r logic programs.Th e Jo urnal of  Logic a lPr o gramming ,2(4 ):29 5 – 312,1985 .  [ 15] A. G upta a n dN.  Belnap .The Re vi sio n T heory of T ruth.MIT, Cam bridg e , MA, 1993. [1 6 ] S. Halldén. Th e lo g ic o f n onsense. Ph D th e sis,  Upp s al a U n ivers ity,19 4 9. 17 18 BIBLIOGRAPHY[1 7] S.Kleen e. On notatio n for ordi n a l  numbers . Jo u rn a l of SymbolicLogic , 3:150–15 5 , 1938.[18]S. Kleen e. Metama t h ematics.  No rth  Ho lla n d ,Amsterdam, 19 5 2 . [1 9]  S. Kri pke . Outli neofa t hoe ry  of truth . The Jo ur na lof  Ph iloso p hy, 72(1 9) :69 0–  71 6, 19 7 5. [20 ] J.Marc os .L ogi cs of F o rm a l  Inc on si sten cy.  P hD th esis ,  Un iversid ade Estad ual de C am pi nas, 20 05. [21] H. O mo ri. Halldè n' s l ogic o f nonsense  and its expansions inv iew oflog ics o f fo rmal inco nsi stency . I n  Datab ase an d Exp er t S y s temsA p pl ica ti ons (DEXA) , 27t h Int er nati onal Wo rkshop, pages 129– 1 33,  2016. [22] H . O mori a nd  K. Sa n o.da Cos t a  meets Belnap a nd Nelson.  I n  R . Ciuni an d  H.  W ansingand C.Willk o mmen, e ditors, R ecent Tre nd s in 
. [9]_W. Carnielli,_M. Coniglio, and J._Marcos. Logics_of_Formal Inconsistency._In_D. Gabbay and_F. Guenthner, editors,_Handbook of Philosphical Logic,_volume 14, pages_1–93._Dordrecht: Springer-Verlag, 2007. [10] W. Carnielli, J. Marcos, and S. de Amo. Formal inconsistency_and_evolutionary databases._Logic_and_Logical Philosophy, 8:115–152, 2000. [11]_M.I. Corbalan. Conectivos de Restauracao_Locas. PhD_thesis, Universidade Estadual de Campinas, 2012. [12] Newton_C._A. da Costa._On the theory of inconsistent formal systems. Notre Dame_Journal of Formal Logic, 15:497–510, 1974._[13] H. Field._Saving_truth_from paradox. Oxford University_Press, 2008. [14] M. Fitting. A_kripke-kleene semantics for logic programs. The_Journal of Logical Programming, 2(4):295–312, 1985. [15]_A. Gupta and N. Belnap. The_Revision Theory of Truth. MIT,_Cambridge, MA,_1993. [16] S. Halldén. The_logic of nonsense._PhD thesis,_Uppsala University, 1949._17 18 BIBLIOGRAPHY [17] S. Kleene._On notation for_ordinal numbers. Journal of Symbolic Logic,_3:150–155,_1938. [18] S._Kleene._Metamathematics._North Holland,_Amsterdam, 1952. [19]_S._Kripke. Outline_of_a thoery of truth. The Journal_of_Philosophy, 72(19):690– 716, 1975. [20] J. Marcos._Logics of Formal Inconsistency._PhD_thesis, Universidade Estadual de_Campinas, 2005. [21] H. Omori._Halldèn's logic of nonsense and its_expansions in_view of_logics of formal inconsistency. In Database and Expert Systems Applications (DEXA),_27th International Workshop, pages 129–133, 2016._[22] H. Omori and_K. Sano._da_Costa meets Belnap_and_Nelson. In_R. Ciuni and H. Wansing and C._Willkommen, editors,_Recent Trends in