{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T13:11:30Z","timestamp":1710249090636},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,10,13]],"date-time":"2015-10-13T00:00:00Z","timestamp":1444694400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1007\/s10992-015-9385-3","type":"journal-article","created":{"date-parts":[[2015,10,13]],"date-time":"2015-10-13T18:10:59Z","timestamp":1444759859000},"page":"451-465","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["A Gentzen Calculus for Nothing but the Truth"],"prefix":"10.1007","volume":"45","author":[{"given":"Stefan","family":"Wintein","sequence":"first","affiliation":[]},{"given":"Reinhard","family":"Muskens","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,13]]},"reference":[{"issue":"1","key":"9385_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O Arieli","year":"1996","unstructured":"Arieli, O., & Avron, A. (1996). Reasoning with logical bilattices. Journal of Logic Language and Information, 5(1), 25\u201363.","journal-title":"Journal of Logic Language and Information"},{"key":"9385_CR2","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. (1998). The value of the four values. Artificial Intelligence, 102, 97\u2013141.","journal-title":"Artificial Intelligence"},{"key":"9385_CR3","first-page":"30","volume-title":"Contemporary aspects of philosophy","author":"ND Belnap","year":"1976","unstructured":"Belnap, N.D. (1976). How a computer should think. In Ryle, G. (Ed.), Contemporary aspects of philosophy (pp. 30\u201356). Stocksfield: Oriel Press."},{"key":"9385_CR4","first-page":"8","volume-title":"Modern uses of multiple-valued logic","author":"ND Belnap","year":"1977","unstructured":"Belnap, N.D. (1977). A useful four-valued logic. In Dunn, J., & Epstein, G. (Eds.), Modern uses of multiple-valued logic (pp. 8\u201337). Dordrecht: Reidel."},{"key":"9385_CR5","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"J Dunn","year":"1976","unstructured":"Dunn, J. (1976). Intuitive semantics for first-degree entailments and \u2018coupled trees\u2019. Philosophical Studies, 29, 149\u2013168.","journal-title":"Philosophical Studies"},{"issue":"1","key":"9385_CR6","doi-asserted-by":"crossref","first-page":"113","DOI":"10.3233\/FI-1994-201234","volume":"20","author":"M Fitting","year":"1994","unstructured":"Fitting, M. (1994). Kleene\u2019s three valued logics and their children. Fundamenta Informaticae, 20(1), 113\u2013131.","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"9385_CR7","first-page":"413","volume":"5","author":"JM Font","year":"1997","unstructured":"Font, J.M. (1997). Belnap\u2019s four-valued logic and De Morgan lattices. Logic Journal of the Interest Group in Pure and Applied Logics, 5(3), 413\u2013440.","journal-title":"Logic Journal of the Interest Group in Pure and Applied Logics"},{"issue":"2","key":"9385_CR8","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1080\/00048402.2011.648945","volume":"91","author":"O Hjortland","year":"2013","unstructured":"Hjortland, O. (2013). Logical pluralism, meaning-variance and verbal disputes. Australasian Journal of Philosophy, 91(2), 355\u2013373.","journal-title":"Australasian Journal of Philosophy"},{"key":"9385_CR9","unstructured":"Muskens, R.A. (1989). Meaning and Partiality. Ph.D. thesis, University of Amsterdam. Reprinted in 1995 by CSLI, Stanford, CA."},{"issue":"3","key":"9385_CR10","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1305\/ndjfl\/1022615616","volume":"40","author":"RA Muskens","year":"1999","unstructured":"Muskens, R.A. (1999). On partial and paraconsistent logics. Notre Dame Journal of Formal Logic, 40(3), 352\u2013374.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9385_CR11","doi-asserted-by":"publisher","unstructured":"Omori, H., & Sano, H. Generalizing functional completeness in Belnap-Dunn logic. Studia Logica (online first: doi: 10.1007\/s11225-014-9597-5 ) (201x).","DOI":"10.1007\/s11225-014-9597-5"},{"key":"9385_CR12","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/s10992-011-9215-1","volume":"42","author":"A Pietz","year":"2013","unstructured":"Pietz, A., & Rivieccio, U. (2013). Nothing but the truth. Journal of Philosophical Logic, 42, 125\u2013135.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9385_CR13","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1080\/11663081.1999.10510958","volume":"9","author":"A Pynko","year":"1999","unstructured":"Pynko, A. (1999). Functional completeness and axiomatizability within Belnap\u2019s logic. Journal of Applied Non-classical Logics, 9(1), 61\u2013105.","journal-title":"Journal of Applied Non-classical Logics"},{"key":"9385_CR14","doi-asserted-by":"crossref","first-page":"23","DOI":"10.4064\/fm-60-1-23-33","volume":"60","author":"G Rousseau","year":"1966","unstructured":"Rousseau, G. (1966). Sequents in many-valued logic I. Fundamenta Mathematicae, 60, 23\u201333.","journal-title":"Fundamenta Mathematicae"},{"key":"9385_CR15","unstructured":"Ruet, P. (1996). Complete sets of connectives and complete sequent calculus for Belnap\u2019s Logic. Tech. rep., Ecole Normal Sup\u00e9rieure, Logic Colloquium 96."},{"key":"9385_CR16","first-page":"643","volume":"220","author":"S Wintein","year":"2012","unstructured":"Wintein, S., & Muskens, R.A. (2012). A calculus for Belnap\u2019s logic in which each proof consists of two trees. Logique & Analyse, 220, 643\u2013656.","journal-title":"Logique & Analyse"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-015-9385-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-015-9385-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-015-9385-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,9]],"date-time":"2020-09-09T17:24:23Z","timestamp":1599672263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-015-9385-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,13]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["9385"],"URL":"https:\/\/doi.org\/10.1007\/s10992-015-9385-3","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,13]]}}}