{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T18:32:33Z","timestamp":1770748353795,"version":"3.49.0"},"reference-count":15,"publisher":"SAGE Publications","issue":"6","license":[{"start":{"date-parts":[[2015,8,10]],"date-time":"2015-08-10T00:00:00Z","timestamp":1439164800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Journal of Intelligent &amp; Fuzzy Systems"],"published-print":{"date-parts":[[2015,8,10]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    A\n                    <jats:bold>\n                      B\n                      <jats:sub>4<\/jats:sub>\n                    <\/jats:bold>\n                    -valued propositional Belnap-Dunn logic will be proposed in this paper which there are two unary connectives [\u22a4]\u00a0, [\u22a5] to represent the two middle values \u22a4, \u22a5\u00a0, respectively, and a Gentzen-typed deduction system will be given so that the system is sound and complete with the four-valued semantics of the propositional Belnap-Dunn logic.\n                  <\/jats:p>","DOI":"10.3233\/ifs-151548","type":"journal-article","created":{"date-parts":[[2015,8,21]],"date-time":"2015-08-21T15:27:58Z","timestamp":1440170878000},"page":"2705-2713","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":1,"title":["The\n                    <i>B<\/i>\n                    <sub>4<\/sub>\n                    -valued propositional Belnap-Dunn logic"],"prefix":"10.1177","volume":"28","author":[{"given":"Cao","family":"Cungen","sequence":"first","affiliation":[{"name":"Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}]},{"given":"Chen","family":"Bo","sequence":"additional","affiliation":[{"name":"Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"},{"name":"University of Chinese Academy of Sciences, Beijing, China"}]},{"given":"Sui","family":"Yuefei","sequence":"additional","affiliation":[{"name":"Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}]}],"member":"179","published-online":{"date-parts":[[2015,8,10]]},"reference":[{"key":"e_1_3_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00215626"},{"key":"e_1_3_1_3_1","first-page":"11","article-title":"Bilattices and paraconsistency","volume":"8","author":"Arieli O","year":"2000","unstructured":"ArieliOAvronA2000Bilattices and paraconsistencyFrontiers of Paraconsistent Logic, Studies in Logic and Computation81127","journal-title":"Frontiers of Paraconsistent Logic, Studies in Logic and Computation"},{"key":"e_1_3_1_4_1","unstructured":"BelnapN1977aHow a computer should think Contemporary Aspects of PhilosophyRyleG3056Oriel Press"},{"key":"e_1_3_1_5_1","doi-asserted-by":"crossref","unstructured":"BelnapN1977bA useful four-valued logicDunnJMEpsteinGModern Uses of Multiple-valued Logic837D. Reidel","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"e_1_3_1_6_1","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.2000.10510987"},{"key":"e_1_3_1_7_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/5.3.1-e"},{"key":"e_1_3_1_8_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1988.tb00280.x"},{"key":"e_1_3_1_9_1","unstructured":"GottwaldS2001(Studies in Logic and Computation vol. 9)A Treatise on Many-Valued LogicsBaldockResearch Studies Press Ltd"},{"key":"e_1_3_1_10_1","unstructured":"LiW2010Progress in Computer Science and Applied LogicMathematical Logic Foundations for Information Science25Birkh\u00e4user"},{"key":"e_1_3_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.102"},{"key":"e_1_3_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19950410403"},{"key":"e_1_3_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0012-365X(99)00007-2"},{"key":"e_1_3_1_14_1","unstructured":"RodriguesORussoA1998A translation method for Belnap logicImperial College RRDoC98-7"},{"key":"e_1_3_1_15_1","unstructured":"TakeutiG1975Proof TheoryNorth-Holland Pub. Co."},{"key":"e_1_3_1_16_1","unstructured":"UrquhartA2001Basic many-valued logicGabbayDGuenthnerFHandbook of Philosophical Logic22nd249295DordrechtKluwer"}],"container-title":["Journal of Intelligent &amp; Fuzzy Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/IFS-151548","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.3233\/IFS-151548","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/IFS-151548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T08:21:27Z","timestamp":1770711687000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/IFS-151548"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,10]]},"references-count":15,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2015,8,10]]}},"alternative-id":["10.3233\/IFS-151548"],"URL":"https:\/\/doi.org\/10.3233\/ifs-151548","relation":{},"ISSN":["1064-1246","1875-8967"],"issn-type":[{"value":"1064-1246","type":"print"},{"value":"1875-8967","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,8,10]]}}}