{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:01:37Z","timestamp":1743076897507,"version":"3.40.3"},"publisher-location":"Cham","reference-count":55,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319404172"},{"type":"electronic","value":"9783319404189"}],"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-40418-9_2","type":"book-chapter","created":{"date-parts":[[2016,7,21]],"date-time":"2016-07-21T12:57:30Z","timestamp":1469105850000},"page":"7-24","source":"Crossref","is-referenced-by-count":2,"title":["Why Paraconsistent Logics?"],"prefix":"10.1007","author":[{"given":"Seiki","family":"Akama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Newton C. A.","family":"da Costa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,22]]},"reference":[{"key":"2_CR1","unstructured":"Abe, J.M.: On the Foundations of Annotated Logics (in Portuguese), Ph.D. Thesis, University of S\u00e3o Paulo, Brazil (1992)"},{"key":"2_CR2","volume-title":"Introduction to Annotated Logics","author":"JM Abe","year":"2016","unstructured":"Abe, J.M., Akama, S., Nakamatsu, K.: Introduction to Annotated Logics. Springer, Heidelberg (2016)"},{"key":"2_CR3","first-page":"385","volume":"120","author":"S Akama","year":"1987","unstructured":"Akama, S.: Resolution in constructivism. Logique et Analyse 120, 385\u2013399 (1987)","journal-title":"Resolution in constructivism. Logique et Analyse"},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1305\/ndjfl\/1093637767","volume":"29","author":"S Akama","year":"1988","unstructured":"Akama, S.: Constructive predicate logic with strong negation and model theory. Notre Dame J. Formal Logic 29, 18\u201327 (1988)","journal-title":"Notre Dame J. Formal Logic"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1002\/malq.19880340502","volume":"34","author":"S Akama","year":"1988","unstructured":"Akama, S.: On the proof method for constructive falsity. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 34, 385\u2013392 (1988)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BF00263542","volume":"19","author":"S Akama","year":"1990","unstructured":"Akama, S.: Subformula semantics for strong negation systems. J. Philos. Logic 19, 217\u2013226 (1990)","journal-title":"J. Philos. Logic"},{"key":"2_CR7","unstructured":"Akama, S.: Constructive Falsity: Foundations and Their Applications to Computer Science, Ph.D. Thesis, Keio University, Yokohama, Japan (1990)"},{"key":"2_CR8","doi-asserted-by":"crossref","first-page":"101","DOI":"10.12775\/LLP.1999.009","volume":"7","author":"S Akama","year":"1999","unstructured":"Akama, S.: Nelson\u2019s paraconsistent logics. Logic Logical Philos. 7, 101\u2013115 (1999)","journal-title":"Logic Logical Philos."},{"key":"2_CR9","first-page":"395","volume":"215","author":"S Akama","year":"2011","unstructured":"Akama, S., Abe, J.M., Nakamatsu, K.: Constructive discursive logic with strong negation. Logique et Analyse 215, 395\u2013408 (2011)","journal-title":"Logique et Analyse"},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"A Almukdad","year":"1984","unstructured":"Almukdad, A., Nelson, D.: Constructible falsity and inexact predicates. J. Symbolic Logic 49, 231\u2013233 (1984)","journal-title":"J. Symbolic Logic"},{"key":"2_CR11","unstructured":"Anderson, A., Belnap, N.: Entailment: The Logic of Relevance and Necessity I. Princeton University Press, Princeton (1976)"},{"key":"2_CR12","volume-title":"Entailment: The Logic of Relevance and Necessity II","author":"A Anderson","year":"1992","unstructured":"Anderson, A., Belnap, N., Dunn, J.: Entailment: The Logic of Relevance and Necessity II. Princeton University Press, Princeton (1992)"},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O Arieli","year":"1996","unstructured":"Arieli, O., Avron, A.: Reasoning with logical bilattices. J. Logic Lang. Inform. 5, 25\u201363 (1996)","journal-title":"J. Logic Lang. Inform."},{"key":"2_CR14","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O Arieli","year":"1998","unstructured":"Arieli, O., Avron, A.: The value of fur values. Artif. Intell. 102, 97\u2013141 (1998)","journal-title":"Artif. Intell."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Arruda, A.I.: A survey of paraconsistent logic. In: Arruda, A., da Costa, N., Chuaqui, R. (eds.) Mathematical Logic in Latin America, pp. 1\u201341. North-Holland, Amsterdam (1980)","DOI":"10.1016\/S0049-237X(09)70477-X"},{"key":"2_CR16","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1305\/ndjfl\/1093958482","volume":"7","author":"FG Asenjo","year":"1966","unstructured":"Asenjo, F.G.: A calculus of antinomies. Notre Dame J. Formal Logic 7, 103\u2013105 (1966)","journal-title":"Notre Dame J. Formal Logic"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Batens, D.: Dynamic dialectical logics. In: Priest, G., Routley, R. Norman, J. (eds.) Paraconsistent Logic: Essay on the Inconsistent, pp. 187\u2013217. Philosophia Verlag, M\u00fcnchen (1989)","DOI":"10.2307\/j.ctv2x8v8c7.9"},{"key":"2_CR18","first-page":"57","volume":"145","author":"D Batens","year":"1994","unstructured":"Batens, D.: Inconsistency-adaptive logics and the foundation of non-monotonic logics. Logique et Analyse 145, 57\u201394 (1994)","journal-title":"Logique et Analyse"},{"key":"2_CR19","first-page":"45","volume":"173\u2013175","author":"D Batens","year":"2001","unstructured":"Batens, D.: A general characterization of adaptive logics. Logique et Analyse 173\u2013175, 45\u201368 (2001)","journal-title":"Logique et Analyse"},{"key":"2_CR20","unstructured":"Batens, D., Mortensen, C., Priest, G., Van Bendegem, J.-P. (eds.): Frontiers of Paraconsistent Logic. Research Studies Press, Baldock (2000)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multi-Valued Logic, pp. 8\u201337. Reidel, Dordrecht (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"2_CR22","unstructured":"Belnap, N.D.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy, pp. 30\u201355. Oriel Press (1977)"},{"volume-title":"Handbook of Paraconsistency","year":"2007","key":"2_CR23","unstructured":"Beziau, J.-Y., Carnielli, W., Gabbay, D. (eds.): Handbook of Paraconsistency. College Publication, London (2007)"},{"key":"2_CR24","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"HA Blair","year":"1989","unstructured":"Blair, H.A., Subrahmanian, V.S.: Paraconsistent logic programming. Theoret. Comput. Sci. 68, 135\u2013154 (1989)","journal-title":"Theoret. Comput. Sci."},{"key":"2_CR25","unstructured":"Carnielli, W.A., Marcos, J.: Tableau systems for logics of formal inconsistency. In: Abrabnia, H.R. (ed.), Proceedings of the 2001 International Conference on Artificial Intelligence, vol. II, pp. 848\u2013852. CSREA Press (2001)"},{"volume-title":"Paraconsistency: The Logical Way to the Inconsistent","year":"2002","key":"2_CR26","unstructured":"Carnielli, W.A., Coniglio, M.E., D\u2019Ottaviano, I.M. (eds.): Paraconsistency: The Logical Way to the Inconsistent. Marcel Dekker, New York (2002)"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A., Coniglio, M.E, Marcos, J.: Logics of formal inconsistency. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 14, 2nd edn, pp. 1\u201393. Springer, Heidelberg (2007)","DOI":"10.1007\/978-1-4020-6324-4_1"},{"key":"2_CR28","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"NCA Costa da","year":"1974","unstructured":"da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame J. Formal Logic 15, 497\u2013510 (1974)","journal-title":"Notre Dame J. Formal Logic"},{"key":"2_CR29","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1305\/ndjfl\/1093888132","volume":"18","author":"NCA Costa da","year":"1977","unstructured":"da Costa, N.C.A., Alves, E.H.: A semantical analysis of the calculi $$C_n$$ . Notre Dame J. Formal Logic 18, 621\u2013630 (1977)","journal-title":"Notre Dame J. Formal Logic"},{"key":"2_CR30","first-page":"561","volume":"37","author":"NCA Costa da","year":"1991","unstructured":"da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on annotated logic. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 37, 561\u2013570 (1991)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The paraconsistent logic $$P{\\cal T}$$ . Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 37, 139\u2013148 (1991)","DOI":"10.1002\/malq.19910370903"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Dunn, J.M.: Relevance logic and entailment. In: Gabbay, D., Gunthner, F. (eds.) Handbook of Philosophical Logic, vol. III, pp. 117\u2013224. Reidel, Dordrecht (1986)","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"2_CR33","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M Fitting","year":"1991","unstructured":"Fitting, M.: Bilattices and the semantics of logic programming. J. Logic Program. 11, 91\u2013116 (1991)","journal-title":"J. Logic Program."},{"key":"2_CR34","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1023\/A:1004217812355","volume":"26","author":"M Fitting","year":"1997","unstructured":"Fitting, M.: A theory of truth that prefers falsehood. J. Philos. Logic 26, 477\u2013500 (1997)","journal-title":"J. Philos. Logic"},{"key":"2_CR35","unstructured":"Ginsberg, M.: Multivalued logics. In: Proceedings of AAAI\u201986, pp. 243\u2013247. Morgan Kaufman, Los Altos (1986)"},{"key":"2_CR36","first-page":"256","volume":"4","author":"M Ginsberg","year":"1988","unstructured":"Ginsberg, M.: Multivalued logics: a uniform approach to reasoning in AI. Comput. Intell. 4, 256\u2013316 (1988)","journal-title":"Comput. Intell."},{"key":"2_CR37","first-page":"55","volume":"1","author":"S Ja\u015bkowski","year":"1948","unstructured":"Ja\u015bkowski, S.: Propositional calculus for contradictory deductive systems (in Polish). Studia Societatis Scientiarun Torunesis, Sectio A 1, 55\u201377 (1948)","journal-title":"Studia Societatis Scientiarun Torunesis, Sectio A"},{"key":"2_CR38","first-page":"171","volume":"8","author":"S Ja\u015bkowski","year":"1949","unstructured":"Ja\u015bkowski, S.: On the discursive conjunction in the propositional calculus for inconsistent deductive systems (in Polish). Studia Societatis Scientiarun Torunesis, Sectio A 8, 171\u2013172 (1949)","journal-title":"Studia Societatis Scientiarun Torunesis, Sectio A"},{"key":"2_CR39","volume-title":"Introduction to Metamathematics","author":"S Kleene","year":"1952","unstructured":"Kleene, S.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)"},{"key":"2_CR40","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S Kripke","year":"1975","unstructured":"Kripke, S.: Outline of a theory of truth. J. Philos. 72, 690\u2013716 (1975)","journal-title":"J. Philos."},{"key":"2_CR41","unstructured":"Kifer, M., Subrahmanian, V.S.: On the expressive power of annotated logic programs. In: Proceedings of the 1989 North American Conference on Logic Programming, pp. 1069\u20131089 (1989)"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"Kotas, J.: The axiomatization of S. Jaskowski\u2019s discursive logic. Studia Logica 33, 195\u2013200 (1974)","DOI":"10.1007\/BF02120494"},{"key":"2_CR43","unstructured":"\u0141ukasiewicz, J.: On 3-valued logic. In: McCall, S. (ed.) Polish Logic, pp. 16\u201318, Oxford University Press, Oxford, 1967"},{"key":"2_CR44","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D.: Constructible falsity. J. Symbolic Logic 14, 16\u201326 (1949)","journal-title":"J. Symbolic Logic"},{"key":"2_CR45","unstructured":"Nelson, D.: Negation and separation of concepts in constructive systems. In: Heyting, A. (ed.) Constructivity in Mathematics, pp. 208\u2013225. North-Holland, Amsterdam (1959)"},{"key":"2_CR46","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G.: Logic of paradox. J. Philos. Logic 8, 219\u2013241 (1979)","journal-title":"J. Philos. Logic"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Priest, G.: Paraconsistent logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn, pp. 287\u2013393. Kluwer, Dordrecht (2002)","DOI":"10.1007\/978-94-017-0460-1_4"},{"key":"2_CR48","doi-asserted-by":"crossref","unstructured":"Priest, G.: In Contradiction: A Study of the Transconsistent, 2nd edn. Oxford University Press, Oxford (2006)","DOI":"10.1093\/acprof:oso\/9780199263301.001.0001"},{"volume-title":"Paraconsistent Logic: Essays on the Inconsistent","year":"1989","key":"2_CR49","unstructured":"Priest, G., Routley, R., Norman, J. (eds.): Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag, M\u00fcnchen (1989)"},{"key":"2_CR50","doi-asserted-by":"crossref","unstructured":"Rico, G.O.: The annotated logics $$OP_{\\rm BL}$$ . In: Carnielli, W., Coniglio, M., D\u2019Ottaviano, I. (eds.) Paraconsistency: The Logical Way to the Inconsistent, pp. 411\u2013433. Marcel Dekker, New York (2002)","DOI":"10.1201\/9780203910139.ch20"},{"key":"2_CR51","unstructured":"Routley, R., Plumwood, V., Meyer, R.K., Brady, R: Relevant Logics and Their Rivals, vol. 1. Ridgeview, Atascadero (1982)"},{"key":"2_CR52","unstructured":"Subrahmanian, V.: On the semantics of quantitative logic programs. In: Proceeding of the 4th IEEE Symposium on Logic Programming, pp. 173\u2013182 (1987)"},{"key":"2_CR53","doi-asserted-by":"crossref","first-page":"477","DOI":"10.2307\/2024563","volume":"66","author":"BC Fraassen van","year":"1069","unstructured":"van Fraassen, B.C.: Facts and tautological entailment. J. Philos. 66, 477\u2013487 (1069)","journal-title":"J. Philos."},{"key":"2_CR54","volume-title":"Imaginary Logic (in Russian)","author":"NA Vasil\u2019ev","year":"1989","unstructured":"Vasil\u2019ev, N.A.: Imaginary Logic (in Russian). Nauka, Moscow (1989)"},{"key":"2_CR55","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-56734-8","volume-title":"The Logic of Information Structures","author":"H Wansing","year":"1993","unstructured":"Wansing, H.: The Logic of Information Structures. Springer, Berlin (1993)"}],"container-title":["Intelligent Systems Reference Library","Towards Paraconsistent Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40418-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,19]],"date-time":"2023-08-19T08:57:04Z","timestamp":1692435424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40418-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319404172","9783319404189"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40418-9_2","relation":{},"ISSN":["1868-4394","1868-4408"],"issn-type":[{"type":"print","value":"1868-4394"},{"type":"electronic","value":"1868-4408"}],"subject":[],"published":{"date-parts":[[2016]]}}}