{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T19:12:22Z","timestamp":1649099542514},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,12,24]],"date-time":"2010-12-24T00:00:00Z","timestamp":1293148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2011,2]]},"DOI":"10.1007\/s11225-010-9303-1","type":"journal-article","created":{"date-parts":[[2010,12,23]],"date-time":"2010-12-23T06:53:14Z","timestamp":1293087194000},"page":"183-198","source":"Crossref","is-referenced-by-count":5,"title":["First-Order da Costa Logic"],"prefix":"10.1007","volume":"97","author":[{"given":"Graham","family":"Priest","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,12,24]]},"reference":[{"key":"9303_CR1","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.jal.2004.07.016","volume":"3","author":"A. Brunner","year":"2005","unstructured":"Brunner A., Carnielli W.: \u2018Anti-intuitionism and Paraconsistency\u2019. Journal of Applied Logic 3, 161\u2013184 (2005)","journal-title":"Journal of Applied Logic"},{"key":"9303_CR2","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"4","author":"N. Costa da","year":"1974","unstructured":"da Costa N.: \u2018On the Theory of Inconsistent Formal Systems\u2019. Notre Dame Journal of Formal Logic 4, 497\u2013510 (1974)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9303_CR3","unstructured":"Priest G., Introduction to Non-Classical Logic: From If to Is, Cambridge: Cambridge University Press, 2006."},{"key":"9303_CR4","doi-asserted-by":"crossref","first-page":"165","DOI":"10.5007\/1808-1711.2009v13n2p165","volume":"13","author":"G. Priest","year":"2009","unstructured":"Priest G.: \u2018Dualising Intuitionist Negation\u2019. Principia 13, 165\u201389 (2009)","journal-title":"Principia"},{"key":"9303_CR5","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF02121115","volume":"36","author":"C. Rauszer","year":"1977","unstructured":"Rauszer C.: \u2018Applications of Kripke Modes to Heyting-Brouwer Logic\u2019. Studia Logica 36, 61\u201371 (1977)","journal-title":"Studia Logica"},{"key":"9303_CR6","unstructured":"Tennant, N., Natural Logic, Edinburgh: Edinburgh University Press, 1978."},{"key":"9303_CR7","unstructured":"Querioz, G., Sobre a Dualidade entre Intuitionismo e Paraconsist\u00eancia, PhD thesis, State University of Campinas, 1998."},{"key":"9303_CR8","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1305\/ndjfl\/1039886520","volume":"37","author":"I. Urbas","year":"1996","unstructured":"Urbas I.: \u2018Dual Intuitionist Logic\u2019. Notre Dame Journal of Formal Logic 37, 440\u2013451 (1996)","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9303-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-010-9303-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9303-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:47Z","timestamp":1559384687000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-010-9303-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12,24]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,2]]}},"alternative-id":["9303"],"URL":"https:\/\/doi.org\/10.1007\/s11225-010-9303-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12,24]]}}}