{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,11,20]],"date-time":"2022-11-20T05:11:38Z","timestamp":1668921098173},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2021,5,27]],"date-time":"2021-05-27T00:00:00Z","timestamp":1622073600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,5,27]],"date-time":"2021-05-27T00:00:00Z","timestamp":1622073600000},"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,10]]},"DOI":"10.1007\/s11704-020-7399-7","type":"journal-article","created":{"date-parts":[[2021,5,27]],"date-time":"2021-05-27T02:02:40Z","timestamp":1622080960000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Variant quantifiers in L3-valued first-order logic"],"prefix":"10.1007","volume":"15","author":[{"given":"Wei","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuefei","family":"Sui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,5,27]]},"reference":[{"key":"7399_CR1","unstructured":"Li W. Mathematical Logic: Foundations for Information Science. 2nd ed. Birkh\u00e4user, 2010"},{"key":"7399_CR2","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":"7399_CR3","unstructured":"Avron A. The method of hypersequents in the proof theory of propositional non-classical logics. In: Hodges W, Hyland M, Steinhorn C, Truss J, eds. Logic: From Foundations to Applications European Logic Colloquium. Clarendon Press, 1994, 1\u201332"},{"key":"7399_CR4","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1005022012721","volume":"61","author":"R Zach","year":"1998","unstructured":"Zach R, Ferm\u00fcller C, Baaz M, Salzer G. Labeled calculi and finite-valued logics. Studia Logica, 1998, 61: 7\u201333","journal-title":"Studia Logica"},{"issue":"1","key":"7399_CR5","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"},{"issue":"4","key":"7399_CR6","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"},{"key":"7399_CR7","doi-asserted-by":"crossref","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","DOI":"10.1007\/978-94-017-0452-6_4"},{"issue":"1","key":"7399_CR8","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"},{"key":"7399_CR9","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/3-540-56944-8_66","volume-title":"Logic Programming and Automated Reasoning","author":"M Baaz","year":"1993","unstructured":"Baaz M, Ferm\u00fcller C G, Ovrutcki A, Zach R. MULTLOG: a system for axiomatizing many-valued logics. In: Voronkov A, ed. Logic Programming and Automated Reasoning. Springer Berlin Heidelberg, 1993, 345\u2013347"},{"key":"7399_CR10","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: 87\u2013112","journal-title":"History and Philosophy of Logic"},{"key":"7399_CR11","doi-asserted-by":"publisher","first-page":"235","DOI":"10.3233\/FI-1991-153-404","volume":"15","author":"M C Fitting","year":"1999","unstructured":"Fitting M C. Many-valued modal logics. Fundamenta Informaticae, 1999, 15: 235\u2013254","journal-title":"Fundamenta Informaticae"},{"key":"7399_CR12","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). Baldock: Research Studies Press, 2001"},{"key":"7399_CR13","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, Guenthner F, eds. Handbook of Philosophical Logic, vol. 2. Dordrecht: Kluwer, 2001, 297\u2013395"},{"key":"7399_CR14","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"},{"key":"7399_CR15","doi-asserted-by":"publisher","first-page":"1229","DOI":"10.1016\/j.fss.2007.12.008","volume":"159","author":"V Nov\u00e1k","year":"2008","unstructured":"Nov\u00e1k V. A formal theory of intermediate quantifiers. Fuzzy Sets and Systems, 2008, 159: 1229\u20131246","journal-title":"Fuzzy Sets and Systems"},{"key":"7399_CR16","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1613\/jair.813","volume":"14","author":"U Straccia","year":"2001","unstructured":"Straccia U. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 2001, 14: 137\u2013166","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"5","key":"7399_CR17","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1007\/s11704-016-5299-7","volume":"11","author":"W Li","year":"2007","unstructured":"Li W, Sui Y F. The B4-valued propositional logic with unary logical connectives \u223c1 \/ \u223c2 \/\u22b2. Frontiers of Computer Science, 2007, 11(5): 887\u2013894","journal-title":"Frontiers of Computer Science"},{"key":"7399_CR18","volume-title":"Selected Works","author":"J \u0141ukasiewicz","year":"1970","unstructured":"\u0141ukasiewicz J. Selected Works. Amsterdam: North-Holland, 1970"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-020-7399-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11704-020-7399-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-020-7399-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,19]],"date-time":"2022-11-19T21:52:50Z","timestamp":1668894770000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11704-020-7399-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,27]]},"references-count":18,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["7399"],"URL":"https:\/\/doi.org\/10.1007\/s11704-020-7399-7","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,5,27]]},"assertion":[{"value":"10 January 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 July 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 May 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"155403"}}