{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T15:47:00Z","timestamp":1781279220909,"version":"3.54.1"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,7,3]],"date-time":"2022-07-03T00:00:00Z","timestamp":1656806400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,7,3]],"date-time":"2022-07-03T00:00:00Z","timestamp":1656806400000},"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":["Log. Univers."],"published-print":{"date-parts":[[2022,9]]},"DOI":"10.1007\/s11787-022-00305-9","type":"journal-article","created":{"date-parts":[[2022,7,3]],"date-time":"2022-07-03T10:02:21Z","timestamp":1656842541000},"page":"389-417","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi"],"prefix":"10.1007","volume":"16","author":[{"given":"Norihiro","family":"Kamide","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,7,3]]},"reference":[{"issue":"1","key":"305_CR1","doi-asserted-by":"publisher","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. Symb. Logic 49(1), 231\u2013233 (1984)","journal-title":"J. Symb. Logic"},{"key":"305_CR2","doi-asserted-by":"publisher","first-page":"327","DOI":"10.2307\/2964651","volume":"27","author":"R Angell","year":"1962","unstructured":"Angell, R.: A propositional logics with subjunctive conditionals. J. Symb. Logic 27, 327\u2013343 (1962)","journal-title":"J. Symb. Logic"},{"key":"305_CR3","first-page":"25","volume":"5","author":"O Arieli","year":"1996","unstructured":"Arieli, O., Avron, A.: Reasoning with logical bilattices. J. Logic, Lang. Info. 5, 25\u201363 (1996)","journal-title":"J. Logic, Lang. Info."},{"issue":"1","key":"305_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O Arieli","year":"1998","unstructured":"Arieli, O., Avron, A.: The value of the four values. Artificial Intell. 102(1), 97\u2013141 (1998)","journal-title":"Artificial Intell."},{"key":"305_CR5","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-81-322-2719-9_4","volume-title":"New Directions in Paraconsistent Logic","author":"O Arieli","year":"2015","unstructured":"Arieli, O., Avron, A.: Three-valued paraconsistent propositional logics. In: B\u00e9ziau, J.-Y., Chakraborty, M., Dutta, S. (eds.) New Directions in Paraconsistent Logic, pp. 91\u2013129. Springer, Berlin (2015)"},{"key":"305_CR6","unstructured":"Arieli, O., Avron, A.: Minimal paradefinite logics for reasoning with incompleteness and inconsistency, Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD), Leibniz International Proceedings in Informatics (LIPIcs) 52, pp. 7:1-7:15, (2016)"},{"issue":"6","key":"305_CR7","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1007\/s11225-017-9721-4","volume":"105","author":"O Arieli","year":"2017","unstructured":"Arieli, O., Avron, A.: Four-valued paradefinite logics. Stud. Log. 105(6), 1087\u20131122 (2017)","journal-title":"Stud. Log."},{"issue":"1\u20133","key":"305_CR8","first-page":"31","volume":"99","author":"O Arieli","year":"2011","unstructured":"Arieli, O., Avron, A., Zamansky, A.: Ideal paraconsistent logics. Stud. Log. 99(1\u20133), 31\u201360 (2011)","journal-title":"Stud. Log."},{"key":"305_CR9","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1305\/ndjfl\/1093958482","volume":"7","author":"FG Asenjo","year":"1966","unstructured":"Asenjo, F.G.: A calculus of antinomies. Notre Dame J. Form. Log. 7, 103\u2013106 (1966)","journal-title":"Notre Dame J. Form. Log."},{"issue":"3","key":"305_CR10","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s11787-017-0173-4","volume":"11","author":"A Avron","year":"2017","unstructured":"Avron, A.: Self-extensional three-valued paraconsistent logics. Log. Univ. 11(3), 297\u2013315 (2017)","journal-title":"Log. Univ."},{"issue":"3","key":"305_CR11","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s11787-020-00254-1","volume":"14","author":"A Avron","year":"2020","unstructured":"Avron, A.: The normal and self-extensional extension of Dunn-Belnap logic. Log. Univ. 14(3), 281\u2013296 (2020)","journal-title":"Log. Univ."},{"issue":"2","key":"305_CR12","first-page":"183","volume":"25","author":"A Avron","year":"2017","unstructured":"Avron, A., B\u00e9ziau, J.-Y.: Self-extensional three-valued paraconsistent logics have no implication. Log. J. IGPL 25(2), 183\u2013194 (2017)","journal-title":"Log. J. IGPL"},{"key":"305_CR13","doi-asserted-by":"crossref","unstructured":"Belnap, N.D.: A useful four-valued logic, In: Modern Uses of Multiple-Valued Logic, G. Epstein and J.M. Dunn (eds.), Dordrecht: Reidel, pp. 5-37, (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"305_CR14","unstructured":"Belnap, N.D.: How a computer should think, In: Contemporary Aspects of Philosophy, G. Ryle (ed.), Oriel Press, Stocksfield, pp. 30-56, (1977)"},{"key":"305_CR15","first-page":"135","volume":"39","author":"J-Y B\u00e9ziau","year":"1994","unstructured":"B\u00e9ziau, J.-Y.: Idempotent full paraconsistent negations are not algebraizable. Notre Dame J. Form. Log. 39, 135\u2013139 (1994)","journal-title":"Notre Dame J. Form. Log."},{"issue":"213","key":"305_CR16","first-page":"109","volume":"54","author":"J-Y B\u00e9ziau","year":"2011","unstructured":"B\u00e9ziau, J.-Y.: A new four-valued approach to modal logic. Logique et Anal. 54(213), 109\u2013121 (2011)","journal-title":"Logique et Anal."},{"key":"305_CR17","unstructured":"B\u00e9ziau, J.-Y.: Bivalent semantics for De Morgan logic (The uselessness of four-valuedness), In W.A. Carnieli, M.E. Coniglio, and I.M. D\u2019Ottaviano (eds.), The many sides of logic, pp. 391-402, College Publications, (2009)"},{"issue":"4","key":"305_CR18","doi-asserted-by":"publisher","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. Log. 103(4), 825\u2013851 (2015)","journal-title":"Stud. Log."},{"issue":"3","key":"305_CR19","doi-asserted-by":"publisher","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":"305_CR20","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1026740726955","volume":"65","author":"JM Dunn","year":"2000","unstructured":"Dunn, J.M.: Partiality and its dual. Stud. Log. 65, 5\u201340 (2000)","journal-title":"Stud. Log."},{"key":"305_CR21","unstructured":"D\u2019Ottaviano, I.: The completeness and compactness of a three-valued first-order logic. Revista Colombiana de Matem\u00e1ticas, XIX 1\u20132, 31\u201342 (1985)"},{"key":"305_CR22","unstructured":"Gentzen, G.: Collected papers of Gerhard Gentzen, M.E. Szabo, ed., Studies in logic and the foundations of mathematics, North-Holland (English translation), (1969)"},{"key":"305_CR23","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/BF02121114","volume":"36","author":"Y Gurevich","year":"1977","unstructured":"Gurevich, Y.: Intuitionistic logic with strong negation. Stud. Log. 36, 49\u201359 (1977)","journal-title":"Stud. Log."},{"key":"305_CR24","doi-asserted-by":"crossref","unstructured":"Kamide, N.: Extending ideal paraconsistent four-valued logic, Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2017), pp. 49-54, (2017)","DOI":"10.1109\/ISMVL.2017.14"},{"key":"305_CR25","doi-asserted-by":"crossref","unstructured":"Kamide, N.: An extended paradefinte Belnap-Dunn logic that is embeddable into classical logic and vice versa, Proceedings of the 11th International Conference on Agents and Artificial Intelligence (ICAART 2019), 2,377-387 (2019)","DOI":"10.5220\/0007251603770387"},{"issue":"1","key":"305_CR26","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s11787-018-0218-3","volume":"13","author":"N Kamide","year":"2019","unstructured":"Kamide, N.: Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: A general framework. Log. Univ. 13(1), 37\u201363 (2019)","journal-title":"Log. Univ."},{"issue":"6","key":"305_CR27","doi-asserted-by":"publisher","first-page":"1185","DOI":"10.1007\/s10992-020-09553-w","volume":"49","author":"N Kamide","year":"2020","unstructured":"Kamide, N.: Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion. J. Philos. Log. 49(6), 1185\u20131212 (2020)","journal-title":"J. Philos. Log."},{"key":"305_CR28","doi-asserted-by":"crossref","unstructured":"Kamide, N.: Notes on Avron\u2019s self-extensional four-valued paradefinite logic, Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2021), pp. 43-49, (2021)","DOI":"10.1109\/ISMVL51352.2021.00017"},{"key":"305_CR29","unstructured":"Kamide, N.: Herbrand and contraposition-elimination theorems for extended first-order Belnap\u2013Dunn logic, Relevance logics and other tools for reasoning: Essays in Honor of J. Mchael Dunn (Katalin Bimbo editor), Volume 46 of Tribute Series, pp. 237\u2013260, College Publications (2022)"},{"key":"305_CR30","doi-asserted-by":"crossref","unstructured":"Kamide, N., Omori, H.: An extended first-order Belnap-Dunn logic with classical negation, Proceedings of the 6th International Workshop on Logic, Rationality, and Interaction (LORI 2017), Lecture Notes in Computer Science 10455, pp. 79-93, (2017)","DOI":"10.1007\/978-3-662-55665-8_6"},{"issue":"1","key":"305_CR31","first-page":"93","volume":"27","author":"N Kamide","year":"2019","unstructured":"Kamide, N., Zohar, Y.: Yet another paradefinite logic: The role of conflation. Log. J. IGPL 27(1), 93\u2013117 (2019)","journal-title":"Log. J. IGPL"},{"issue":"4","key":"305_CR32","doi-asserted-by":"publisher","first-page":"27:1","DOI":"10.1145\/2528930","volume":"14","author":"O Lahav","year":"2013","unstructured":"Lahav, O., Avron, A.: A unified semantic framework for fully structural propositional sequent systems. ACM Trans. Comput. Log. 14(4), 27:1-27:33 (2013)","journal-title":"ACM Trans. Comput. Log."},{"key":"305_CR33","doi-asserted-by":"publisher","first-page":"415","DOI":"10.2307\/2270458","volume":"31","author":"S McCall","year":"1966","unstructured":"McCall, S.: Connexive implication. J. Symb. Log. 31, 415\u2013433 (1966)","journal-title":"J. Symb. Log."},{"issue":"4","key":"305_CR34","doi-asserted-by":"publisher","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. Univ. 9(4), 501\u2013522 (2015)","journal-title":"Log. Univ."},{"key":"305_CR35","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D.: Constructible falsity. J. Symb. Log. 14, 16\u201326 (1949)","journal-title":"J. Symb. Log."},{"key":"305_CR36","unstructured":"Ono, H.: Logic for information science (in Japanese), Nihon hyouron shya, 297 pages, (1994)"},{"issue":"1","key":"305_CR37","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G.: The logic of paradox. J. Philos. Log. 8(1), 219\u2013241 (1979)","journal-title":"J. Philos. Log."},{"key":"305_CR38","doi-asserted-by":"crossref","unstructured":"Priest, G.: Paraconsistent logic, Handbook of Philosophical Logic (Second Edition), Vol. 6, D. Gabbay and F. Guenthner (eds.), Kluwer Academic Publishers, Dordrecht, pp. 287-393, (2002)","DOI":"10.1007\/978-94-017-0460-1_4"},{"key":"305_CR39","doi-asserted-by":"publisher","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)"},{"key":"305_CR40","first-page":"465","volume":"85","author":"NN Vorob\u2019ev","year":"1952","unstructured":"Vorob\u2019ev, N.N.: A constructive propositional calculus with strong negation (in Russian). Doklady Akademii Nauk SSSR 85, 465\u2013468 (1952)","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"305_CR41","doi-asserted-by":"crossref","unstructured":"Wansing, H.: The logic of information structures, Lecture Notes in Computer Science 681, 163 pages, Springer (1993)","DOI":"10.1007\/3-540-56734-8"},{"issue":"4","key":"305_CR42","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/BF01181683","volume":"2","author":"H Wansing","year":"1993","unstructured":"Wansing, H.: Informational interpretation of substructural propositional logics. J. Log. Lang. Inf. 2(4), 285\u2013308 (1993)","journal-title":"J. Log. Lang. Inf."},{"key":"305_CR43","unstructured":"Wansing, H.: Connexive logic, Stanford Encyclopedia of Philosophy, (2021): http:\/\/plato.stanford.edu\/entries\/logic-connexive\/"},{"key":"305_CR44","unstructured":"Zaitsev, D.: Generalized relevant logic and models of reasoning, Moscow State Lomonosov University doctoral dissertation, (2012)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00305-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-022-00305-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00305-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T15:06:51Z","timestamp":1665673611000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-022-00305-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,3]]},"references-count":44,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,9]]}},"alternative-id":["305"],"URL":"https:\/\/doi.org\/10.1007\/s11787-022-00305-9","relation":{"is-basis-for":[{"id-type":"doi","id":"10.52843\/cassyni.85j0xj","asserted-by":"object"}]},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,7,3]]},"assertion":[{"value":"3 February 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 May 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 July 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}