{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:32:22Z","timestamp":1725453142120},"publisher-location":"Dordrecht","reference-count":33,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9781402026164"},{"type":"electronic","value":"9781402031670"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/1-4020-3167-x_20","type":"book-chapter","created":{"date-parts":[[2005,6,27]],"date-time":"2005-06-27T14:48:39Z","timestamp":1119883719000},"page":"465-478","source":"Crossref","is-referenced-by-count":3,"title":["On the Usefulness of Paraconsistent Logic"],"prefix":"10.1007","author":[{"given":"Newton C.A.","family":"da Costa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Yves","family":"B\u00e9ziau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ot\u00e1vio","family":"Bueno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Arruda A.I. (1980). \u201cA Survey of Paraconsistent Logic\u201d, in Arruda, Chuaqui, and da Costa (eds.), pp. 1\u201341."},{"key":"20_CR2","unstructured":"Arruda A.I. (1989). \u201cAspects of the Historical Development of Paraconsistent Logic\u201d, in Priest, Routley and Norman (eds.), pp. 99\u2013130."},{"volume-title":"Mathematical Logic in Latin America","year":"1980","key":"20_CR3","unstructured":"Arruda A., Chuaqui R., and da Costa N.C.A. (eds.) (1980). Mathematical Logic in Latin America. Amsterdam: North-Holland."},{"key":"20_CR4","unstructured":"B\u00e9ziau J.-Y. (1990). \u201cLogiques construites suivant les m\u00e9thodes de da Costa\u201d, Logique et Analyse 131-132, pp. 259\u2013272."},{"key":"20_CR5","volume-title":"Foundations of Constructive Analysis","author":"E. Bishop","year":"1967","unstructured":"Bishop E. (1967). Foundations of Constructive Analysis. New York: McGraw-Hill."},{"key":"20_CR6","first-page":"3790","volume":"257","author":"N.C.A. Costa da","year":"1963","unstructured":"da Costa N.C.A. (1963). \u201cCalculs propositionnels pour les syst\u00e8mes formels inconsistants\u201d, Comptes-rendus de l\u2019Acad\u00e9mie des Sciences de Paris 257, pp. 3790\u20133793.","journal-title":"Comptes-rendus de l\u2019Acad\u00e9mie des Sciences de Paris"},{"key":"20_CR7","first-page":"361","volume":"115","author":"N.C.A. Costa da","year":"1963","unstructured":"____ (1986). \u201cOn Paraconsistent Set Theory\u201d, Logique et Analyse 115, pp. 361\u2013371.","journal-title":"Logique et Analyse"},{"key":"20_CR8","volume-title":"Monografias da Sociedade Paranaense de Matem\u00e1tica","author":"N.C.A. Costa da","year":"1989","unstructured":"da Costa N.C.A. (1989). \u201cMathematics and Paraconsistency (in Portuguese)\u201d, Monografias da Sociedade Paranaense de Matem\u00e1tica 7. Curitiba: UFPR."},{"key":"20_CR9","volume-title":"Frontiers of Paraconsistency","author":"N.C.A. Costa da","year":"1989","unstructured":"____ (2000). \u201cParaconsistent Mathematics\u201d, in D. Batens, C. Mortensen, G. Priest and J.-P. Van Bendegem (eds.), Frontiers of Paraconsistency. Dordrecht: Kluwer Academic Publishers."},{"key":"20_CR10","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1305\/ndjfl\/1093888132","volume":"16","author":"N.C.A. Costa da","year":"1977","unstructured":"da Costa N.C.A. and Alves E.H. (1977). \u201cA Semantic Analysis of the Calculi Cn\u201d, Notre Dame Journal of Formal Logic 16, pp. 621\u2013630.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"20_CR11","first-page":"95","volume":"146","author":"N.C.A. Costa da","year":"1994","unstructured":"da Costa N.C.A. and B\u00e9ziau, J.-Y. (1994). \u201cTh\u00e9orie de la valuation\u201d, Logique et Analyse 146, pp. 95\u2013117.","journal-title":"Logique et Analyse"},{"key":"20_CR12","first-page":"597","volume":"3","author":"N.C.A. Costa da","year":"1995","unstructured":"da Costa, N.C.A. B\u00e9ziau J.-Y. and Bueno O. (1995a). \u201cAspects of Paraconsistent Logic\u201d, Bulletin of the Interest Group in Pure and Applied Logics 3, pp. 597\u2013614.","journal-title":"Bulletin of the Interest Group in Pure and Applied Logics"},{"key":"20_CR13","unstructured":"____ (1995b). \u201cParaconsistent Logic in a Historical Perspective\u201d, Logique et Analyse 150-151-152, pp. 111\u2013125."},{"key":"20_CR14","first-page":"272","volume":"6","author":"N.C.A. Costa da","year":"1995","unstructured":"____ (1996). \u201cMalinowski and Suszko on Many-Valuedness: On the Reduction of Many-Valuedness to Two-Valuedness,\u201d Modern Logic 6, pp. 272\u2013299.","journal-title":"Modern Logic"},{"key":"20_CR15","volume-title":"Elements of Paraconsistent Set Theory","author":"N.C.A. Costa da","year":"1995","unstructured":"____ (1998). Elements of Paraconsistent Set Theory (in Portuguese). Campinas: Cole\u00e7\u00e3o CLE."},{"key":"20_CR16","first-page":"48","volume":"100","author":"N.C.A. Costa da","year":"1996","unstructured":"da Costa N.C.A. and Bueno O. (1996). \u201cConsistency, Paraconsistency and Truth (Logic, the Whole Logic and Nothing but the Logic)\u201d, Ideas y Valores 100, pp. 48\u201360.","journal-title":"Ideas y Valores"},{"key":"20_CR17","first-page":"683","volume":"62","author":"N.C.A. Costa da","year":"1996","unstructured":"____ (1997). \u201cReview of Chris Mortensen (1995)\u201d, Journal of Symbolic Logic 62, pp. 683\u2013685.","journal-title":"Journal of Symbolic Logic"},{"key":"20_CR18","first-page":"119","volume":"16","author":"N.C.A. Costa da","year":"1996","unstructured":"____ (2001). \u201cParaconsistency: Towards a Tentative Interpretation\u201d, Theoria 16, pp. 119\u2013145.","journal-title":"Theoria"},{"key":"20_CR19","first-page":"43","volume":"3","author":"N.C.A. Costa da","year":"1995","unstructured":"da Costa N.C.A., Bueno O. and B\u00e9ziau J.-Y. (1995). \u201cWhat is Semantics? A Brief Note on a Huge Question\u201d, Sorites \u2014 Electronic Quarterly of Analytical Philosophy 3, pp. 43\u201347.","journal-title":"Sorites \u2014 Electronic Quarterly of Analytical Philosophy"},{"key":"20_CR20","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1080\/01445349808837295","volume":"19","author":"N.C.A. Costa da","year":"1998","unstructured":"da Costa N.C.A., Bueno O. and French S. (1998). \u201cIs There a Zande Logic?\u201d, History and Philosophy of Logic 19, pp. 41\u201354.","journal-title":"History and Philosophy of Logic"},{"key":"20_CR21","first-page":"3","volume":"XX","author":"N.C.A. Costa da","year":"1988","unstructured":"da Costa N.C.A. and French S. (1988). \u201cBelief and Contradiction\u201d, Cr\u00edtica XX, pp. 3\u201311.","journal-title":"Cr\u00edtica"},{"key":"20_CR22","first-page":"431","volume":"XLIX","author":"N.C.A. Costa da","year":"1988","unstructured":"____ (1989). \u201cOn the Logic of Belief\u201d, Philosophy and Phenomenological Research XLIX, pp. 431\u2013446.","journal-title":"Philosophy and Phenomenological Research"},{"key":"20_CR23","first-page":"179","volume":"27","author":"N.C.A. Costa da","year":"1988","unstructured":"____ (1990). \u201cBelief, Contradiction and the Logic of Self-Deception\u201d, American Philosophical Quarterly 27, pp. 179\u2013197.","journal-title":"American Philosophical Quarterly"},{"key":"20_CR24","first-page":"325","volume":"32","author":"N.C.A. Costa da","year":"1988","unstructured":"____ (1995). \u201cPartial Structures and the Logic of the Azande\u201d, American Philosophical Quarterly 32, pp. 325\u2013339.","journal-title":"American Philosophical Quarterly"},{"key":"20_CR25","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0933-3657(89)90031-6","volume":"1","author":"N.C.A. Costa da","year":"1989","unstructured":"da Costa N.C.A. and Subrahmanian V.S. (1989). \u201cParaconsistent Logics as a Formalism for Reasoning About Inconsistent Knowledge Bases\u201d, Artificial Intelligence in Medicine 1, pp. 167\u2013174.","journal-title":"Artificial Intelligence in Medicine"},{"key":"20_CR26","first-page":"89","volume":"7","author":"I. D\u2019Ottaviano","year":"1990","unstructured":"D\u2019Ottaviano I. (1990). \u201cOn the Development of Paraconsistent Logic and da Costa\u2019s Work\u201d, Journal of Non-Classical Logic 7, pp. 89\u2013152.","journal-title":"Journal of Non-Classical Logic"},{"key":"20_CR27","volume-title":"Elements of Intuitionism","author":"M. Dummett","year":"1977","unstructured":"Dummett M. (1977). Elements of Intuitionism. Oxford: Clarendon Press."},{"key":"20_CR28","first-page":"51","volume":"7","author":"S. French","year":"1990","unstructured":"French S. (1990). \u201cRationality, Consistency and Truth\u201d, Journal of Non-Classical Logic 7, pp. 51\u201371.","journal-title":"Journal of Non-Classical Logic"},{"key":"20_CR29","volume-title":"Intuitionism: An Introduction","author":"A. Heyting","year":"1971","unstructured":"Heyting A. (1971). Intuitionism: An Introduction. (3rd edition.) Amsterdam: North-Holland.","edition":"3rd edition"},{"key":"20_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8453-1","volume-title":"Inconsistent Mathematics","author":"C. Mortensen","year":"1995","unstructured":"Mortensen C. (1995). Inconsistent Mathematics. Dordrecht: Kluwer Academic Publishers."},{"key":"20_CR31","volume-title":"Science and Hypothesis","author":"H. Poincar\u00e9","year":"1905","unstructured":"Poincar\u00e9 H. (1905). Science and Hypothesis. New York: Dover."},{"volume-title":"Paraconsistent Logic: Essays on the Inconsistent","year":"1989","key":"20_CR32","unstructured":"Priest G., Routley R. and Norman J. (ed.) (1989). Paraconsistent Logic: Essays on the Inconsistent. Munich: Philosophia."},{"key":"20_CR33","first-page":"87","volume":"4","author":"R. Suszko","year":"1975","unstructured":"Suszko R. (1975). \u201cRemarks on Lukasiewicz\u2019s Three-Valued Logic\u201d, Bulletin of the Section of Logic 4, pp. 87\u201390.","journal-title":"Bulletin of the Section of Logic"}],"container-title":["Logic, Thought and Action"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-3167-X_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T19:16:29Z","timestamp":1558466189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-3167-X_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9781402026164","9781402031670"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/1-4020-3167-x_20","relation":{},"subject":[],"published":{"date-parts":[[2005]]}}}