{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,3,27]],"date-time":"2023-03-27T21:30:08Z","timestamp":1679952608606},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2017,6,3]],"date-time":"2017-06-03T00:00:00Z","timestamp":1496448000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1007\/s11704-016-5299-7","type":"journal-article","created":{"date-parts":[[2017,6,2]],"date-time":"2017-06-02T22:47:49Z","timestamp":1496443669000},"page":"887-894","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["The B4-valued propositional logic with unary logical connectives ~1 \/ ~2 \/\u00ac"],"prefix":"10.1007","volume":"11","author":[{"given":"Wei","family":"Li","sequence":"first","affiliation":[]},{"given":"Yuefei","family":"Sui","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,3]]},"reference":[{"key":"5299_CR1","first-page":"30","volume-title":"Contemporary Aspects of Philosophy","author":"N Belnap","year":"1977","unstructured":"Belnap N. How a computer should think. In: Ryle G, ed. Contemporary Aspects of Philosophy. Stocksfield: Oriel Press, 1977, 30\u201356"},{"key":"5299_CR2","first-page":"8","volume-title":"Modern Uses of Multiple-valued Logic","author":"N Belnap","year":"1977","unstructured":"Belnap N. A useful four-valued logic. In: Dunn J M, Epstein G, eds. Modern Uses of Multiple-valued Logic. Dordrecht: D. Reidel, 1977, 8\u201337"},{"issue":"2","key":"5299_CR3","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0020-0190(98)00083-0","volume":"67","author":"J A Bergstra","year":"1998","unstructured":"Bergstra J A, Ponse A. Kleene\u2019s three-valued logic and process algebra. Information Processing Letters, 1998, 67(2): 95\u2013103","journal-title":"Information Processing Letters"},{"issue":"1","key":"5299_CR4","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1080\/11663081.2000.10510987","volume":"10","author":"J A Bergstra","year":"2000","unstructured":"Bergstra J A, Ponse A. Process algebra with four-valued logic. Journal of Applied Non-Classical Logics, 2000, 10(1): 27\u201353","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"5299_CR5","volume-title":"A translation method for Belnap logic","author":"O Rodrigues","year":"1998","unstructured":"Rodrigues O, Russo A. A translation method for Belnap logic. Imperial College RR DoC98\/7, 1998"},{"key":"5299_CR6","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/j.entcs.2005.12.102","volume":"162","author":"A Ponse","year":"2006","unstructured":"Ponse A, van der Zwaag M B. A generalization of ACP using Belnap\u2019s logic. Electronic Notes in Theoretical Computer Science, 2006, 162: 287\u2013293","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"5299_CR7","volume-title":"Mathematical Logic, Foundations for Information Science (Progress in Computer Science and Applied Logic)","author":"W Li","year":"2010","unstructured":"Li W. Mathematical Logic, Foundations for Information Science (Progress in Computer Science and Applied Logic). Berlin: Birkh\u00e4user, 2010"},{"issue":"2","key":"5299_CR8","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1080\/11663081.1995.10510856","volume":"5","author":"A P Pynko","year":"1995","unstructured":"Pynko A P. On Priest\u2019s logic of paradox. Journal of Applied Non-Classical Logics, 1995, 5(2): 219\u2013225","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"4","key":"5299_CR9","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1002\/malq.19950410403","volume":"41","author":"A P Pynko","year":"1995","unstructured":"Pynko A P. Characterizing Belnap\u2019s logic via De Morgan\u2019s laws. Mathematical Logic Quarterly, 1995, 41(4): 442\u2013454","journal-title":"Mathematical Logic Quarterly"},{"issue":"1","key":"5299_CR10","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0012-365X(99)00007-2","volume":"205","author":"A P Pynko","year":"1999","unstructured":"Pynko A P. Implicational classes of DeMorgan lattices. Discrete mathematics, 1999, 205(1): 171\u2013181","journal-title":"Discrete mathematics"},{"issue":"3","key":"5299_CR11","first-page":"413","volume":"5","author":"J M Font","year":"1997","unstructured":"Font J M. Belnap\u2019s four-valued logic and De Morgan lattices. Logic Journal of the I.G.P.L., 1997, 5(3): 413\u2013440","journal-title":"Logic Journal of the I.G.P.L."},{"key":"5299_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 Ltd, 2001"},{"key":"5299_CR13","doi-asserted-by":"crossref","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, Guenthner F, eds. Handbook of Philosophical Logic, Vol. 2. 2nd ed. Dordrecht: Kluwer, 2001, 249\u2013295","edition":"2"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-016-5299-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-016-5299-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-016-5299-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,13]],"date-time":"2017-09-13T07:30:50Z","timestamp":1505287850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-016-5299-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,3]]},"references-count":13,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2017,10]]}},"alternative-id":["5299"],"URL":"https:\/\/doi.org\/10.1007\/s11704-016-5299-7","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,6,3]]}}}