{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:09:59Z","timestamp":1775038199955,"version":"3.50.1"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2017,4,12]],"date-time":"2017-04-12T00:00:00Z","timestamp":1491955200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Erasmus University"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1007\/s11225-017-9720-5","type":"journal-article","created":{"date-parts":[[2017,4,12]],"date-time":"2017-04-12T01:48:00Z","timestamp":1491961680000},"page":"1319-1347","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Interpolation Methods for Dunn Logics and Their Extensions"],"prefix":"10.1007","volume":"105","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1394-9704","authenticated-orcid":false,"given":"Stefan","family":"Wintein","sequence":"first","affiliation":[]},{"given":"Reinhard","family":"Muskens","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,12]]},"reference":[{"key":"9720_CR1","unstructured":"Anderson, A.R., and N.D. Belnap, Entailment: The Logic of Relevance and Necessity, Volume I, Princeton University Press, 1975."},{"key":"9720_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O Arieli","year":"1996","unstructured":"Arieli, O., and A. Avron, Reasoning with Logical Bilattices, Journal of Logic Language and Information 5: 25\u201363, 1996.","journal-title":"Journal of Logic Language and Information"},{"key":"9720_CR3","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O Arieli","year":"1998","unstructured":"Arieli, O., and A.\u00a0Avron, The Value of the Four Values, Artificial Intelligence 102: 97\u2013141, 1998.","journal-title":"Artificial Intelligence"},{"key":"9720_CR4","doi-asserted-by":"crossref","unstructured":"Avron, A., Natural 3-Valued Logics\u2013Characterization and Proof Theory, Symbolic Logic 56(1): 276\u2013294, 1991.","DOI":"10.2307\/2274919"},{"key":"9720_CR5","doi-asserted-by":"crossref","first-page":"977","DOI":"10.1093\/logcom\/9.6.977","volume":"9","author":"A Avron","year":"1999","unstructured":"Avron, A., On the expressive power of three-valued and four-valued languages, Journal of Logic and Computation 9: 977\u2013994, 1999.","journal-title":"Journal of Logic and Computation"},{"key":"9720_CR6","first-page":"195","volume":"90","author":"D Batens","year":"1980","unstructured":"Batens, D., Paraconsistent Extensional Propositional Logics, Logique et Analyse 90: 195\u2013234, 1980.","journal-title":"Logique et Analyse"},{"issue":"185\u2013188","key":"9720_CR7","first-page":"220","volume":"47","author":"D Batens","year":"2004","unstructured":"Batens, D., and K.\u00a0de\u00a0Clerq, A rich paraconsistent eextension of full positive logic, Logique et Analyse 47: 185\u2013188, 220\u2013257, 2004.","journal-title":"Logique et Analyse"},{"key":"9720_CR8","first-page":"30","volume-title":"Contemporary Aspects of Philosophy","author":"ND Belnap","year":"1976","unstructured":"Belnap, N.D., How a Computer Should Think, in G.\u00a0Ryle, (ed.), Contemporary Aspects of Philosophy, Oriel Press, Stocksfield 1976, pp. 30\u201356."},{"key":"9720_CR9","doi-asserted-by":"crossref","unstructured":"Belnap, N.D., A useful four-valued logic, in J.M. Dunn, and G. Epstein, (eds.), Modern Uses of Multiple-Valued Logic Springer, Dordrecht, 1977.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"9720_CR10","first-page":"127","volume":"39","author":"K Bendova","year":"2005","unstructured":"Bendova, K., Interpolation and three-valued logics, Reports on Mathematical Logic 39: 127\u2013131, 2005.","journal-title":"Reports on Mathematical Logic"},{"key":"9720_CR11","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 Entailments and \u2018Coupled Trees\u2019, Philosophical Studies 29: 149\u2013168, 1976.","journal-title":"Philosophical Studies"},{"key":"9720_CR12","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M Fitting","year":"1991","unstructured":"Fitting, M., Bilattices and the Semantics of Logic Programming, Journal of Logic Programming 11: 91\u2013116, 1991.","journal-title":"Journal of Logic Programming"},{"key":"9720_CR13","volume-title":"Introduction to Metamathematics","author":"SC Kleene","year":"1952","unstructured":"Kleene, S.C., Introduction to Metamathematics, D. Van Nostrand Company, New York and Toronto, 1952."},{"issue":"235","key":"9720_CR14","first-page":"273","volume":"59","author":"P Milne","year":"2016","unstructured":"Milne, P., A non-classical refinement of the interpolation property for classical propositional logic, Logique and Analyse 59(235): 273\u2013281, 2016.","journal-title":"Logique and Analyse"},{"key":"9720_CR15","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1305\/ndjfl\/1022615616","volume":"40","author":"RA Muskens","year":"1999","unstructured":"Muskens, R.A., On Partial and Paraconsistent Logics, Notre Dame Journal of Formal Logic 40: 352\u2013373, 1999.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"5","key":"9720_CR16","doi-asserted-by":"crossref","first-page":"883","DOI":"10.1007\/s11225-014-9597-5","volume":"103","author":"H Omori","year":"2015","unstructured":"Omori, H., and H.\u00a0Sano, Generalizing Functional Completeness in Belnap-Dunn Logic, Studia Logica 103(5): 883\u2013917, 2015.","journal-title":"Studia Logica"},{"key":"9720_CR17","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/s10992-011-9215-1","volume":"42","author":"A Pietz","year":"2013","unstructured":"Pietz, A., and U.\u00a0Rivieccio, Nothing but the Truth, Journal of Philosophical Logic 42: 125\u2013135, 2013.","journal-title":"Journal of Philosophical Logic"},{"key":"9720_CR18","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G., The Logic of Paradox, Journal of Philosophical Logic 8: 219\u2013241, 1979.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9720_CR19","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1080\/11663081.1999.10510958","volume":"9","author":"AP Pynko","year":"1999","unstructured":"Pynko, A.P., Functional Completeness and Axiomatizability within Belnap\u2019s Logic, Journal of Applied Non-classical Logics 9(1): 61\u2013105, 1999.","journal-title":"Journal of Applied Non-classical Logics"},{"key":"9720_CR20","unstructured":"Ruet, P., Complete sets of connectives and complete sequent calculus for Belnap\u2019s Logic, Tech. rep., Ecole Normal Sup\u00e9rieure, Logic Colloquium 96, 1996."},{"key":"9720_CR21","volume-title":"First-order Logic","author":"R Smullyan","year":"1995","unstructured":"Smullyan, R., First-order Logic, Dover, New York, 1995."},{"key":"9720_CR22","doi-asserted-by":"crossref","first-page":"125","DOI":"10.2996\/kmj\/1138039033","volume":"12","author":"M Takano","year":"1989","unstructured":"Takano, M., Interpolation in many-valued logics with designated values, Kodai Mathematical Journal 12: 125\u2013131, 1989.","journal-title":"Kodai Mathematical Journal"},{"key":"9720_CR23","volume-title":"Proof Theory","author":"G Takeuti","year":"1987","unstructured":"Takeuti, G., Proof Theory, North-Holland, Amsterdam, 1987."},{"issue":"3","key":"9720_CR24","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1007\/s11225-015-9649-5","volume":"104","author":"S Wintein","year":"2016","unstructured":"Wintein, S., On all Strong Kleene generalizations of classical logic, Studia Logica 104(3): 503\u2013545, 2016.","journal-title":"Studia Logica"},{"issue":"4","key":"9720_CR25","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/s10992-015-9385-3","volume":"45","author":"S Wintein","year":"2016","unstructured":"Wintein, S., and R.A. Muskens, A gentzen calculus for nothing but the truth, Journal of Philosophical Logic 45(4): 451\u2013465, 2016.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9720-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9720-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9720-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T19:30:44Z","timestamp":1569007844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9720-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,12]]},"references-count":25,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["9720"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9720-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,12]]}}}