{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T04:17:03Z","timestamp":1749010623694,"version":"3.41.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319321660"},{"type":"electronic","value":"9783319321684"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-32168-4_9","type":"book-chapter","created":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T11:46:09Z","timestamp":1464867969000},"page":"273-300","source":"Crossref","is-referenced-by-count":1,"title":["Paraconsistent Logics and Applications"],"prefix":"10.1007","author":[{"given":"Jair Minoro","family":"Abe","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,3]]},"reference":[{"key":"9_CR1","unstructured":"Abe, J.M.: Fundamentos da L\u00f3gica Anotada (1992) (Foundations of Annotated Logics in Portuguese). Ph.D. thesis, FFLCH\/USP, S\u00e3o Paulo, Brazil (1992)"},{"key":"9_CR2","first-page":"83","volume":"15","author":"JM Abe","year":"1997","unstructured":"Abe, J.M.: Some aspects of paraconsistent systems and applications. Log. et Anal. 15, 83\u201396 (1997)","journal-title":"Log. et Anal."},{"key":"9_CR3","unstructured":"Abe, J.M., Da Silva Filho, J.I.: Inconsistency and electronic circuits. In: Alpaydin, E. (ed.) Proceedings of the International ICSC Symposium on Engineering of Intelligent Systems (EIS\u201998), Volume 3, Artificial Intelligence, pp. 191\u2013197. ICSC Academic Press International Computer Science Conventions Canada\/Switzerland (1998)"},{"key":"9_CR4","first-page":"147","volume":"9","author":"JM Abe","year":"2003","unstructured":"Abe, J.M., da Silva Filho, J.I.: Manipulating conflicts and uncertainties in robotics. Mult. Valued Log. Soft Comput. 9, 147\u2013169 (2003)","journal-title":"Mult. Valued Log. Soft Comput."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Abe, J.M. Nakamatsu, K.: Multi-agent systems and paraconsistent knowledge. In: Nguyen, N.T., Jain, L.C. (eds.) Knowledge Processing and Decision Making in Agent-Based Systems, Book Series Studies in Computational Intelligence, vol. 167, VIII, 400 p. 92 illus., pp. 101\u2013121. Springer (2009)","DOI":"10.1007\/978-3-540-88049-3_5"},{"key":"9_CR6","unstructured":"Abe, J.M., Prado, J.C.A., Nakamatsu, K.: Paraconsistent artificial neural network: applicability in computer analysis of speech productions. Lect. Notes Comput. Sci. 4252, 844\u2013850 (2006) (Springer)"},{"key":"9_CR7","unstructured":"Anderson, A.R., Belnap, Jr. N.D.: Entailment: The Logic of Relevance and Necessity, vol. I. Princeton University Press, Princeton (Anderson, A.R., Belnap, Jr., N.D., Dunn, J.M.: Entailment, vol. II (1992)) (1975)"},{"key":"9_CR8","unstructured":"\u00c1vila, B.C.: Uma Abordagem Paraconsistente Baseada em L\u00f3gica Evidencial para Tratar Exce\u00e7\u00f5es em Sistemas de Frames com M\u00faltipla Heran\u00e7a. Ph.D. thesis, University of S\u00e3o Paulo, S\u00e3o Paulo (1996)"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF02126733","volume":"8","author":"L Borkowski","year":"1958","unstructured":"Borkowski, L., S\u0142upecki, J.: The logical works of J. \u0141ukasiewicz. Stud. Logica. 8, 7\u201356 (1958)","journal-title":"Stud. Logica."},{"key":"9_CR10","unstructured":"Da Costa, N.C.A.: Logiques classiques et non classiques: Essai sur les fondements de la logique, Dunod Masson Ho, 275 pp (1997)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Da Costa, N.C.A., Subrahmanian, V.S.: Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases. Artif. Intelligence Med. (Print) 1, 167\u2013174 (1989)","DOI":"10.1016\/0933-3657(89)90031-6"},{"key":"9_CR12","unstructured":"Da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on Annotated Logic. Zeitschrift f. math. Logik und Grundlagen Math. 37, 561\u2013570 (1991)"},{"key":"9_CR13","unstructured":"Da Costa, N.C.A., Prado, J.P.A., Abe, J.M., \u00c1vila, B.C., Rillo, M.: Paralog: Um Prolog Paraconsistente baseado em L\u00f3gica Anotada, Cole\u00e7\u00e3o Documentos, S\u00e9rie L\u00f3gica e Teoria da Ci\u00eancia, IEA-USP, 18, 21 pp (1995)"},{"key":"9_CR14","unstructured":"Da Silva Filho, J.I.: M\u00e9todos de interpreta\u00e7\u00e3o da L\u00f3gica Paraconsistente Anotada com anota\u00e7\u00e3o com dois valores LPA2v com constru\u00e7\u00e3o de Algoritmo e implementa\u00e7\u00e3o de Circuitos Eletr\u00f4nicos, EPUSP. PhD Thesis (in Portuguese), S\u00e3o Paulo (1999)"},{"key":"9_CR15","first-page":"337","volume":"9","author":"JI Silva Filho Da","year":"2001","unstructured":"Da Silva Filho, J.I., Abe, J.M.: Paraconsistent electronic circuits. Int. J. Comput. Anticip. Syst. 9, 337\u2013345 (2001)","journal-title":"Int. J. Comput. Anticip. Syst."},{"key":"9_CR16","unstructured":"Da Silva Filho, J.I., Torres, G.L., Abe, J.M.: Uncertainty Treatment Using Paraconsistent Logic\u2014Introducing Paraconsistent Artificial Neural Networks, vol. 211, 328\u00a0pp. IOS Press, Holanda (2010)"},{"key":"9_CR17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, London (1995)"},{"key":"9_CR18","unstructured":"Lopes, H.F.S., Abe, J.M., Anghinah, R.: Application of paraconsistent artificial neural networks as a method of aid in the diagnosis of alzheimer disease. J. Med. Syst. 1\u20139 (2009) (Springer-Netherlands)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Lopes, H.F.S., Abe, J.M., Kanda, P.A.M., Machado, S., Velasques, B., Ribeiro, P., Basile, L.F.H., Nitrini, R., Anghinah, R.: Improved application of paraconsistent artificial neural networks in diagnosis of alzheimer\u2019s disease. Am. J. Neurosci. 2(1), 54\u201364 (2011) (Science Publications)","DOI":"10.3844\/amjnsp.2011.54.64"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Mario, M.C., Abe, J.M., Ortega, N., Del Santo Jr., M.: Paraconsistent artificial neural network as auxiliary in cephalometric diagnosis. Artif. Organs 34(7), 215\u2013221 (2010) (Wiley Interscience)","DOI":"10.1111\/j.1525-1594.2010.00994.x"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: Annotated semantics for defeasible deontic reasoning, rough sets and current trends in computing. Lecture Notes in Artificial Intelligence Series, pp. 470\u2013478, Springer (2005)","DOI":"10.1007\/3-540-45554-X_58"},{"issue":"1","key":"9_CR22","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D.: Constructible falsity. J. Symb. Log. 14(1), 16\u201326 (1949)","journal-title":"J. Symb. Log."},{"key":"9_CR23","unstructured":"Prado, J.P.A.(1996), Uma Arquitetura em IA Baseada em L\u00f3gica Paraconsistente, Ph.D. thesis (in Portuguese), University of S\u00e3o Paulo"},{"key":"9_CR24","volume-title":"Relevant Logics and its Rivals","author":"R Routley","year":"1983","unstructured":"Routley, R., Meyer, R.K., Plumwood, V., Brady, R.: Relevant Logics and its Rivals, vol. I. Ridgeview, Atascardero (1983)"},{"key":"9_CR25","unstructured":"Subrahmanian, V.S.: On the semantics of quantitative logic programs. In: Proceedings 4th IEEE Symposium on Logic Programming, pp. 173\u2013182. Computer Society Press, Washington (1987)"},{"key":"9_CR26","unstructured":"Torres, C.R.: Sistema Inteligente Baseado na L\u00f3gica Paraconsistente Anotada Evidencial E\u03c4 para Controle e Navega\u00e7\u00e3o de Rob\u00f4s\u00a0M\u00f3veis Aut\u00f4nomos em um Ambiente N\u00e3o-estruturado. PhD. thesis (in Portuguese), Federal University of Itajuba, Brazil (2010)"},{"key":"9_CR27","unstructured":"Vasiliev, N.A.: Imaginary (non-Aristotelian) Logic. Trans. Vergauwen, R., Zaytsev, E.A. Log. et Anal. 46(182), 127\u2013163 (2003)"}],"container-title":["Intelligent Systems Reference Library","New Approaches in Intelligent Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32168-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T20:25:08Z","timestamp":1748982308000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32168-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319321660","9783319321684"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32168-4_9","relation":{},"ISSN":["1868-4394","1868-4408"],"issn-type":[{"type":"print","value":"1868-4394"},{"type":"electronic","value":"1868-4408"}],"subject":[],"published":{"date-parts":[[2016]]}}}