{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,5]],"date-time":"2023-10-05T05:05:37Z","timestamp":1696482337796},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2014,12,4]],"date-time":"2014-12-04T00:00:00Z","timestamp":1417651200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1007\/s10992-014-9337-3","type":"journal-article","created":{"date-parts":[[2014,12,3]],"date-time":"2014-12-03T05:17:28Z","timestamp":1417583848000},"page":"473-487","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Analytic Tableaux for all of SIXTEEN 3"],"prefix":"10.1007","volume":"44","author":[{"given":"Reinhard","family":"Muskens","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Wintein","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,12,4]]},"reference":[{"key":"9337_CR1","first-page":"333","volume":"29","author":"M Baaz","year":"1994","unstructured":"Baaz, M., Ferm\u00fcller, C., Zach, R. (1994). Elimination of cuts in first-order finite-valued logics. Journal of Information Processing and Cybernetics, 29, 333\u2013355.","journal-title":"Journal of Information Processing and Cybernetics"},{"issue":"3","key":"9337_CR2","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BF00881804","volume":"15","author":"B Beckert","year":"1995","unstructured":"Beckert, B., & Posegga, J. (1995). lean T A P: Lean Tableau-based deduction. Journal of Automated Reasoning, 15 (3), 339\u2013358. http:\/\/web.sec.uni-passau.de\/papers\/LeanTaP.pdf .","journal-title":"Journal of Automated Reasoning"},{"key":"9337_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 G. Ryle (Ed.), Contemporary aspects of philosophy (pp. 30\u201356). Stocksfield: Oriel Press."},{"key":"9337_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 J. Dunn, & G. Epstein (Eds.), Modern uses of multiple-valued logic (pp. 8\u201337). Dordrecht: Reidel."},{"issue":"2","key":"9337_CR5","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1017\/S1755020309090212","volume":"2","author":"N Kamide","year":"2009","unstructured":"Kamide, N., & Wansing, H. (2009). Sequent calculi for some trilattice logics. The Review of Symbolic Logic, 2(2), 374\u2013395.","journal-title":"The Review of Symbolic Logic"},{"key":"9337_CR6","first-page":"3","volume-title":"Partiality, modality, and nonmonotonicity","author":"T Langholm","year":"1996","unstructured":"Langholm, T. (1996). How different is partial logic? In P. Doherty (Ed.), Partiality, modality, and nonmonotonicity (pp. 3\u201343). Stanford: CSLI."},{"key":"9337_CR7","volume-title":"Meaning and partiality","author":"RA Muskens","year":"1995","unstructured":"Muskens, R.A. (1995). Meaning and partiality. Stanford: CSLI."},{"issue":"3","key":"9337_CR8","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":"9337_CR9","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/s11225-009-9181-6","volume":"91","author":"S Odintsov","year":"2009","unstructured":"Odintsov, S. (2009). On Axiomatizing Shramko-Wansing\u2019s logic. Studia Logica, 91, 407\u2013428.","journal-title":"Studia Logica"},{"key":"9337_CR10","unstructured":"Odintsov, S., & Wansing, H. (2014). The logic of generalized truth values and the logic of bilattices. In Studia Logica."},{"key":"9337_CR11","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1016\/j.jal.2013.03.001","volume":"11","author":"U Rivieccio","year":"2013","unstructured":"Rivieccio, U. (2013). Representation of interlaced trilattices. Journal of Applied Logic, 11, 174\u2013189.","journal-title":"Journal of Applied Logic"},{"key":"9337_CR12","doi-asserted-by":"crossref","first-page":"23","DOI":"10.4064\/fm-60-1-23-33","volume":"60","author":"G Rousseau","year":"1967","unstructured":"Rousseau, G. (1967). Sequents in many-valued logic I. Fundamenta Mathematicae, 60, 23\u201333.","journal-title":"Fundamenta Mathematicae"},{"key":"9337_CR13","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1002\/malq.19550010402","volume":"1","author":"K Schr\u00f6ter","year":"1955","unstructured":"Schr\u00f6ter, K. (1955). Methoden zur Axiomatisierung beliebiger Aussagen- und Pr\u00e4dikatenkalk\u00fcle. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik, 1, 241\u2013251.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"9337_CR14","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/s10992-005-0556-5","volume":"34","author":"Y Shramko","year":"2005","unstructured":"Shramko, Y., & Wansing, H. (2005). Some Useful 16-Valued Logics: How a Computer Network Should Think. Journal of Philosophical Logic, 34, 121\u2013153.","journal-title":"Journal of Philosophical Logic"},{"key":"9337_CR15","unstructured":"Shramko, Y., & Wansing, H. (2011). Truth and falsehood: An inquiry into generalized logical values. In Trends in logic Vol. 36: Springer."},{"key":"9337_CR16","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/s10992-010-9139-1","volume":"39","author":"H Wansing","year":"2009","unstructured":"Wansing, H. (2009). The power of Belnap: Sequent systems for S I X T E E N 3. Journal of Philosophical Logic, 39, 369\u2013393.","journal-title":"Journal of Philosophical Logic"},{"key":"9337_CR17","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/s11245-011-9111-x","volume":"31","author":"H Wansing","year":"2012","unstructured":"Wansing, H. (2012). A non-inferentialist, anti-realistic conception of logical truth and falsity. Topoi, 31, 93\u2013100.","journal-title":"Topoi"},{"issue":"6","key":"9337_CR18","doi-asserted-by":"crossref","first-page":"1201","DOI":"10.1093\/logcom\/exp081","volume":"20","author":"H Wansing","year":"2010","unstructured":"Wansing, H., & Kamide, N. (2010). Intuitionistic Trilattice Logics. Journal of Logic and Computation, 20 (6), 1201\u20131229.","journal-title":"Journal of Logic and Computation"},{"key":"9337_CR19","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"},{"key":"9337_CR20","unstructured":"Wintein, S., & Muskens, R.A. (2014). From bi-facial truth to bi-facial proofs. Studia Logica. Online First."},{"key":"9337_CR21","unstructured":"Zach, R. (1993). Proof theory of finite-valued logics. Technical Report TUW-E185.2-Z.1-93. Institut f\u00fcr Computersprachen, Technische Universit\u00e4t Wien."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-014-9337-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-014-9337-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-014-9337-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T23:21:09Z","timestamp":1566084069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-014-9337-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,4]]},"references-count":21,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2015,10]]}},"alternative-id":["9337"],"URL":"https:\/\/doi.org\/10.1007\/s10992-014-9337-3","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12,4]]}}}