{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T18:22:48Z","timestamp":1780078968507,"version":"3.54.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662556641","type":"print"},{"value":"9783662556658","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55665-8_6","type":"book-chapter","created":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T11:01:02Z","timestamp":1503486062000},"page":"79-93","source":"Crossref","is-referenced-by-count":8,"title":["An Extended First-Order Belnap-Dunn Logic with Classical Negation"],"prefix":"10.1007","author":[{"given":"Norihiro","family":"Kamide","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hitoshi","family":"Omori","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"crossref","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"A Almukdad","year":"1984","unstructured":"Almukdad, A., Nelson, D.: Constructible falsity and inexact predicates. J. Symbol. Logic 49(1), 231\u2013233 (1984)","journal-title":"J. Symbol. Logic"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Epstein, G., Dunn, J.M. (eds.) Modern Uses of Multiple-Valued Logic, pp. 5\u201337. Reidel, Dordrecht (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"6_CR3","unstructured":"Belnap, N.D.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy, pp. 30\u201356. Oriel Press, Stocksfield (1977)"},{"issue":"213","key":"6_CR4","first-page":"109","volume":"54","author":"JY B\u00e9ziau","year":"2011","unstructured":"B\u00e9ziau, J.Y.: A new four-valued approach to modal logic. Logique et Analyse 54(213), 109\u2013121 (2011)","journal-title":"Logique et Analyse"},{"issue":"4","key":"6_CR5","doi-asserted-by":"crossref","first-page":"825","DOI":"10.1007\/s11225-014-9595-7","volume":"103","author":"M De","year":"2015","unstructured":"De, M., Omori, H.: Classical negation and expansions of Belnap-Dunn logic. Stud. Logica 103(4), 825\u2013851 (2015)","journal-title":"Stud. Logica"},{"issue":"3","key":"6_CR6","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn, J.M.: Intuitive semantics for first-degree entailment and \u2018coupled trees\u2019. Philos. Stud. 29(3), 149\u2013168 (1976)","journal-title":"Philos. Stud."},{"key":"6_CR7","unstructured":"Gentzen, G.: Collected papers of Gerhard Gentzen. In: Szabo, M.E. (ed.) Studies in Logic and the Foundations of Mathematics. North-Holland (English translation) (1969)"},{"key":"6_CR8","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF02121114","volume":"36","author":"Y Gurevich","year":"1977","unstructured":"Gurevich, Y.: Intuitionistic logic with strong negation. Stud. Logica 36, 49\u201359 (1977)","journal-title":"Stud. Logica"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Kamide, N.: Paraconsistent double negation that can simulate classical negation. In: Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2016), pp. 131\u2013136 (2016)","DOI":"10.1109\/ISMVL.2016.12"},{"issue":"5","key":"6_CR10","first-page":"1549","volume":"27","author":"N Kamide","year":"2017","unstructured":"Kamide, N., Shramko, Y.: Embedding from multilattice logic into classical logic and vice versa. J. Logic Comput. 27(5), 1549\u20131575 (2017)","journal-title":"J. Logic Comput."},{"issue":"4","key":"6_CR11","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/s11787-015-0130-z","volume":"9","author":"JM M\u00e9ndez","year":"2015","unstructured":"M\u00e9ndez, J.M., Robles, G.: A strong and rich 4-valued modal logic without \u0141ukasiewicz-type paradoxes. Log. Univers. 9(4), 501\u2013522 (2015)","journal-title":"Log. Univers."},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D.: Constructible falsity. J. Symbol. Logic 14, 16\u201326 (1949)","journal-title":"J. Symbol. Logic"},{"key":"6_CR13","series-title":"Trends in Logic","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-319-40220-8_8","volume-title":"Logical Studies of Paraconsistent Reasoning in Science and Mathematics","author":"H Omori","year":"2016","unstructured":"Omori, H.: From paraconsistent logic to dialetheic logic. In: Andreas, H., Verd\u00e9e, P. (eds.) Logical Studies of Paraconsistent Reasoning in Science and Mathematics. TL, vol. 45, pp. 111\u2013134. Springer, Cham (2016). doi:\n10.1007\/978-3-319-40220-8_8"},{"issue":"5","key":"6_CR14","doi-asserted-by":"crossref","first-page":"883","DOI":"10.1007\/s11225-014-9597-5","volume":"103","author":"H Omori","year":"2015","unstructured":"Omori, H., Sano, K.: Generalizing functional completeness in Belnap-Dunn logic. Stud. Logica 103(5), 883\u2013917 (2015)","journal-title":"Stud. Logica"},{"key":"6_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-85796-5","volume-title":"Klassische und nicht-klassische Aussagenlogik","author":"W Rautenberg","year":"1979","unstructured":"Rautenberg, W.: Klassische und nicht-klassische Aussagenlogik. Vieweg, Braunschweig (1979)"},{"issue":"3","key":"6_CR16","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1093\/jigpal\/jzt044","volume":"22","author":"K Sano","year":"2014","unstructured":"Sano, K., Omori, H.: An expansion of first-order Belnap-Dunn logic. Logic J. IGPL 22(3), 458\u2013481 (2014)","journal-title":"Logic J. IGPL"},{"key":"6_CR17","volume-title":"Proof Theory","author":"G Takeuti","year":"2013","unstructured":"Takeuti, G.: Proof Theory, 2nd edn. Dover Publications, Inc., Mineola (2013)","edition":"2"},{"key":"6_CR18","first-page":"465","volume":"85","author":"NN Vorob\u2019ev","year":"1952","unstructured":"Vorob\u2019ev, N.N.: A constructive propositional calculus with strong negation. Dokl. Akad. Nauk SSSR 85, 465\u2013468 (1952). (in Russian)","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Wansing, H.: The Logic of Information Structures. LNCS, vol. 681, 163 pages. Springer, Heidelberg (1993)","DOI":"10.1007\/3-540-56734-8"},{"issue":"4","key":"6_CR20","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/BF01181683","volume":"2","author":"H Wansing","year":"1993","unstructured":"Wansing, H.: Informational interpretation of substructural propositional logics. J. Logic Lang. Inform. 2(4), 285\u2013308 (1993)","journal-title":"J. Logic Lang. Inform."},{"key":"6_CR21","unstructured":"Wansing, H.: Connexive logic, Stanford Encyclopedia of Philosophy (2014). \nhttp:\/\/plato.stanford.edu\/entries\/logic-connexive\/"},{"key":"6_CR22","unstructured":"Zaitsev, D.: Generalized relevant logic and models of reasoning. Moscow State Lomonosov University doctoral dissertation (2012)"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55665-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T16:08:18Z","timestamp":1505146098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55665-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662556641","9783662556658"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55665-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}