{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:13Z","timestamp":1761611293718},"reference-count":6,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"published-print":{"date-parts":[[2012,2,1]]},"DOI":"10.1093\/jigpal\/jzr043","type":"journal-article","created":{"date-parts":[[2011,10,29]],"date-time":"2011-10-29T20:35:18Z","timestamp":1319920518000},"page":"317-330","source":"Crossref","is-referenced-by-count":10,"title":["Soundness and completeness of the Cirquent calculus system CL6 for computability logic"],"prefix":"10.1093","volume":"20","author":[{"given":"W.","family":"Xu","sequence":"first","affiliation":[]},{"given":"S.","family":"Liu","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2011,10,29]]},"reference":[{"key":"1_26937568","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0168-0072(03)00023-X","volume":"123","year":"2003","journal-title":"ANNALS OF PURE AND APPLIED LOGIC"},{"key":"3_26937570","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1145\/1131313.1131319","volume":"7","year":"2006","journal-title":"ACM TRANSACTIONS ON COMPUTATIONAL LOGIC"},{"issue":"4","key":"4_22416142","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1093\/logcom\/exl005","volume":"16","year":"2006","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"issue":"6","key":"5_31564150","doi-asserted-by":"publisher","first-page":"983","DOI":"10.1093\/logcom\/exn019","volume":"18","year":"2008","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"7_41110450","first-page":"1","volume":"7","year":"2011","journal-title":"LOGICAL METHODS IN COMPUTER SCIENCE"},{"key":"8_41110451","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/978-3-642-15660-1_9","volume":"82","year":"2010","journal-title":"ADVANCES IN INTELLIGENT AND SOFT COMPUTING"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/20\/1\/317\/828120\/Soundness-and-completeness-of-the-Cirquent","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T04:49:50Z","timestamp":1497934190000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzr043"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,29]]},"references-count":6,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2012,1,17]]},"published-print":{"date-parts":[[2012,2,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzr043","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,10,29]]}}}