{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,22]],"date-time":"2024-08-22T21:40:03Z","timestamp":1724362803694},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,1,22]],"date-time":"2021-01-22T00:00:00Z","timestamp":1611273600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,22]],"date-time":"2021-01-22T00:00:00Z","timestamp":1611273600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1007\/s11704-020-9076-2","type":"journal-article","created":{"date-parts":[[2021,1,22]],"date-time":"2021-01-22T06:02:57Z","timestamp":1611295377000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic"],"prefix":"10.1007","volume":"15","author":[{"given":"Cungen","family":"Cao","sequence":"first","affiliation":[]},{"given":"Lanxi","family":"Hu","sequence":"additional","affiliation":[]},{"given":"Yuefei","family":"Sui","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,1,22]]},"reference":[{"key":"9076_CR1","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-94-017-0452-6_5","volume-title":"Handbook of Philosophical Logic","author":"R H\u00e4hnle","year":"2001","unstructured":"H\u00e4hnle R. Advanced many-valued logics. In: Gabbay D M, Guenthner F, eds. Handbook of Philosophical Logic, Vol. 2. Springer, Netherlands, 2001, 297\u2013395"},{"key":"9076_CR2","unstructured":"Malinowski G. Many-valued logic and its philosophy. In: Gabbay D M, Woods J, eds. Handbook of The History of Logic, Vol. 8, The Many Valued and Nonmonotonic Turn in Logic. Elsevier, 2009"},{"issue":"1\u20132","key":"9076_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1080\/01445348108837023","volume":"2","author":"D A Bochvar","year":"1981","unstructured":"Bochvar D A, Bergmann M. On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus. History and Philosophy of Logic, 1981, 2(1\u20132): 87\u2013112","journal-title":"History and Philosophy of Logic"},{"key":"9076_CR4","volume-title":"Selected Works","author":"J Lukasiewicz","year":"1970","unstructured":"Lukasiewicz J. Selected Works. Amsterdam: North-Holland, 1970"},{"issue":"1","key":"9076_CR5","first-page":"23","volume":"1","author":"B Soboci\u0144ski","year":"1952","unstructured":"Soboci\u0144ski B. Axiomatization of a partial system of three-value calculus of propositions. The Journal of Computing Systems, 1952, 1(1): 23\u201355","journal-title":"The Journal of Computing Systems"},{"issue":"1","key":"9076_CR6","doi-asserted-by":"publisher","first-page":"276","DOI":"10.2307\/2274919","volume":"56","author":"A Avron","year":"1991","unstructured":"Avron A. Natural 3-valued logics-characterization and proof theory. The Journal of Symbolic Logic, 1991, 56(1): 276\u2013294","journal-title":"The Journal of Symbolic Logic"},{"issue":"4","key":"9076_CR7","doi-asserted-by":"publisher","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 SIXTEEN3. Journal of Philosophical Logic, 2010, 39(4): 369\u2013393","journal-title":"Journal of Philosophical Logic"},{"issue":"6","key":"9076_CR8","doi-asserted-by":"publisher","first-page":"977","DOI":"10.1093\/logcom\/9.6.977","volume":"9","author":"A Avron","year":"2000","unstructured":"Avron A. On the expressive power of three-valued and four-valued languages. Journal of Logic and Computation, 2000, 9(6): 977\u2013994","journal-title":"Journal of Logic and Computation"},{"key":"9076_CR9","unstructured":"Zach R. Proof theory of finite-valued logics, Technical Report TUW-E185.2-Z.1-93. Institut F\u00fcr Computersprachen, Technische Universit\u00e4t Wien, 1993"},{"key":"9076_CR10","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled Deductive Systems","author":"D M Gabbay","year":"1996","unstructured":"Gabbay D M. Labelled Deductive Systems. Oxford: Oxford University Press, 1996"},{"issue":"3","key":"9076_CR11","doi-asserted-by":"publisher","first-page":"235","DOI":"10.3233\/FI-1991-153-404","volume":"15","author":"M C Fitting","year":"1991","unstructured":"Fitting M C. Many-valued modal logics. Fundamenta Informaticae, 1991, 15(3): 235\u2013254","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"9076_CR12","doi-asserted-by":"publisher","first-page":"53","DOI":"10.5430\/air.v7n1p53","volume":"7","author":"W Li","year":"2018","unstructured":"Li W, Sui Y F. Multisequent gentzen deduction systems for B22-valued first-order logic. Journal of Artificial Intelligence Research, 2018, 7(1): 53","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9076_CR13","volume-title":"A Treatise on Many-Valued Logics, Studies in Logic and Computation","author":"S Gottwald","year":"2001","unstructured":"Gottwald S. A Treatise on Many-Valued Logics, Studies in Logic and Computation, Vol.9. Baldock: Research Studies Press Ltd., 2001"},{"issue":"1\u20132","key":"9076_CR14","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter R. A logic for default reasoning. Artificial Intelligence, 1980, 13(1\u20132): 81\u2013132","journal-title":"Artificial Intelligence"},{"key":"9076_CR15","volume-title":"Readings in Nonmonotonic Reasoning","author":"M L Ginsberg","year":"1987","unstructured":"Ginsberg M L. Readings in Nonmonotonic Reasoning. San Francisco: Morgan Kaufmann Publishers, 1987"},{"key":"9076_CR16","unstructured":"Clark K. Negation as failure. In: Ginsberg M L, ed. Readings in Non-monotonic Reasoning. Morgan Kaufmann Publishers, 1987, 311\u2013325"},{"key":"9076_CR17","volume-title":"Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics","author":"G Takeuti","year":"1987","unstructured":"Takeuti G. Proof theory. In: Barwise J, ed. Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics. Amsterdam, NL: North-Holland, 1987"},{"key":"9076_CR18","doi-asserted-by":"publisher","first-page":"2705","DOI":"10.3233\/IFS-141281","volume":"28","author":"C Cao","year":"2015","unstructured":"Cao C, Chen B, Sui Y. The B4-valued prepositional Belnap-Dunn logic. Journal of Intelligent and Fuzzy Systems, 2015, 28: 2705\u20132713","journal-title":"Journal of Intelligent and Fuzzy Systems"},{"key":"9076_CR19","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-94-017-0452-6_4","volume-title":"Handbook of Philosophical Logic","author":"A Urquhart","year":"2001","unstructured":"Urquhart A. Basic many-valued logic. In: Gabbay D M, Guenthner F, eds. Handbook of Philosophical Logic, Vol.2. Springer, Netherlands, 2001, 249\u2013295"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-020-9076-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11704-020-9076-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-020-9076-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,22]],"date-time":"2024-08-22T20:45:25Z","timestamp":1724359525000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11704-020-9076-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,22]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["9076"],"URL":"https:\/\/doi.org\/10.1007\/s11704-020-9076-2","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"type":"print","value":"2095-2228"},{"type":"electronic","value":"2095-2236"}],"subject":[],"published":{"date-parts":[[2021,1,22]]},"assertion":[{"value":"28 February 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 March 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 January 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"153401"}}