{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T08:22:07Z","timestamp":1648974127352},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,2,20]],"date-time":"2016-02-20T00:00:00Z","timestamp":1455926400000},"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":["Stud Logica"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s11225-016-9658-z","type":"journal-article","created":{"date-parts":[[2016,2,20]],"date-time":"2016-02-20T09:32:25Z","timestamp":1455960745000},"page":"917-929","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Gentzenization of Trilattice Logics"],"prefix":"10.1007","volume":"104","author":[{"given":"Mitio","family":"Takano","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,20]]},"reference":[{"key":"9658_CR1","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1017\/S1755020309090212","volume":"2","author":"N. Kamide","year":"2009","unstructured":"Kamide N., Wansing H.: Sequent calculi for some trilattice logics. The Review of Symbolic Logic 2, 374\u2013395 (2009)","journal-title":"The Review of Symbolic Logic"},{"key":"9658_CR2","doi-asserted-by":"crossref","first-page":"816","DOI":"10.1016\/j.apal.2011.03.001","volume":"162","author":"N. Kamide","year":"2011","unstructured":"Kamide N., Wansing H.: Completeness and cut-elimination theorems for trilattice logics. Annals of Pure and Applied Logic 162, 816\u2013835 (2011)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9658_CR3","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/s11225-009-9181-6","volume":"91","author":"P. Odintsov S.","year":"2009","unstructured":"Odintsov S. P.: On axiomatizing Shramko-Wansing\u2019s logic. Studia Logica 91, 407\u2013428 (2009)","journal-title":"Studia Logica"},{"key":"9658_CR4","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/s11225-014-9546-3","volume":"103","author":"S.P. Odintsov","year":"2015","unstructured":"Odintsov S.P., Wansing H.: The logic of generalized truth values and the logic of bilattices. Studia Logica 103, 91\u2013112 (2015)","journal-title":"Studia Logica"},{"key":"9658_CR5","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.: Some usuful 16-valued logics: How a computer network should think. Journal of Philosophical Logic 34, 121\u2013153 (2005)","journal-title":"Journal of Philosophical Logic"},{"key":"9658_CR6","first-page":"297","volume":"68","author":"M. Takano","year":"2012","unstructured":"Takano M.: Sequent calculus for the intersection of LK and the reversed. Far East Journal of Mathematical Sciences 68, 297\u2013305 (2012)","journal-title":"Far East Journal of Mathematical Sciences"},{"key":"9658_CR7","volume-title":"Proof Theory","author":"G. Takeuti","year":"1975","unstructured":"Takeuti G.: Proof Theory. Amsterdam, North-Holland (1975)"},{"key":"9658_CR8","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/s10992-010-9139-1","volume":"39","author":"H. Wansing","year":"2010","unstructured":"Wansing H.: The power of Belnap: Sequent systems for SIXTEEN 3. Journal of Philosophical Logic 39, 369\u2013393 (2010)","journal-title":"Journal of Philosophical Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9658-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-016-9658-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9658-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:55Z","timestamp":1559384695000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-016-9658-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,20]]},"references-count":8,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["9658"],"URL":"https:\/\/doi.org\/10.1007\/s11225-016-9658-z","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2,20]]}}}