{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,6]],"date-time":"2024-03-06T09:01:31Z","timestamp":1709715691905},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T00:00:00Z","timestamp":1571702400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T00:00:00Z","timestamp":1571702400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"National Social Sciences Found of China","award":["18ZDA033"],"award-info":[{"award-number":["18ZDA033"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2020,10]]},"DOI":"10.1007\/s11225-019-09879-w","type":"journal-article","created":{"date-parts":[[2019,10,23]],"date-time":"2019-10-23T10:21:57Z","timestamp":1571826117000},"page":"877-902","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Polarity Semantics for Negation as a Modal Operator"],"prefix":"10.1007","volume":"108","author":[{"given":"Yuanlei","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minghui","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,22]]},"reference":[{"key":"9879_CR1","doi-asserted-by":"crossref","unstructured":"Belnap,\u00a0N., A useful four-valued logic, in J. M. Dunn and G. Epstein (eds.), Modern Uses of Multiple-Valued Logic, 1977, pp. 5\u201337.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"9879_CR2","volume-title":"Modal Logic","author":"P Blackburn","year":"1974","unstructured":"Blackburn, P., M. De Rijke, and Y. Venema, Modal Logic, Cambridge University Press, Cambridge MA, 1974."},{"issue":"2","key":"9879_CR3","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1002\/malq.19990450206","volume":"45","author":"SA Celani","year":"1999","unstructured":"Celani, S. A., Distributive lattices with a negation operator, Mathematical Logic Quarterly 45(2): 207\u2013218, 1999.","journal-title":"Mathematical Logic Quarterly"},{"key":"9879_CR4","unstructured":"Dos\u0306en, K., Negation as a modal operator. Reports on Mathematical Logic 20: 15\u201327, 1986."},{"key":"9879_CR5","unstructured":"Dos\u0306en, K., Negation and impossibility, in J. Perzanowski (ed.), Essays on Philosophy and Logic, Jagiellonian University Press, Cracow, 1987, pp. 85\u201391."},{"key":"9879_CR6","doi-asserted-by":"crossref","unstructured":"Dos\u0306en, K., Negation in the light of modal logic, in D. M. Gabbay and H. Wansing (eds.), What is Negation?, Kluwer Academic Publishers, 1999, pp. 77\u201386.","DOI":"10.1007\/978-94-015-9309-0_4"},{"key":"9879_CR7","unstructured":"Dunn, J. M., The Algebra of Intensional Logics, Ph.D. Dissertation, University of Pittsburg, 1966."},{"key":"9879_CR8","first-page":"433","volume":"32","author":"JM Dunn","year":"1967","unstructured":"Dunn, J. M., The effective equivalence of certain propositions about De Morgan lattices, The Journal of Symbolic Logic 32: 433\u2013434, 1967.","journal-title":"The Journal of Symbolic Logic"},{"key":"9879_CR9","first-page":"362","volume":"36","author":"JM Dunn","year":"1971","unstructured":"Dunn, J. M., A Kripke-style semantics for first-degree relevant implications (abstract), The Journal of Symbolic Logic 36: 362\u2013363, 1971.","journal-title":"The Journal of Symbolic Logic"},{"key":"9879_CR10","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 entailments and coupled trees, Philosophical Studies 29: 149\u2013168, 1976.","journal-title":"Philosophical Studies"},{"key":"9879_CR11","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-94-009-5203-4_3","volume-title":"Handbook of Philosophical Logic Volume III: Alternatives in Classical Logic","author":"JM Dunn","year":"1986","unstructured":"Dunn, J. M., Relevance logic and entailment, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic Volume III: Alternatives in Classical Logic, Springer Science+Business Media, Dordrecht, 1986, pp. 117\u2013224."},{"key":"9879_CR12","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., A comparative study of various model-theoretic treatments of negation: a history of formal negation, in D. M. Gabbay and H. Wansing (eds.), What is Negation?, Kluwer Academic Publishers, 1999, pp. 23\u201351.","DOI":"10.1007\/978-94-015-9309-0_2"},{"key":"9879_CR13","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, Studia Logica 65: 5\u201340, 2000.","journal-title":"Studia Logica"},{"issue":"3","key":"9879_CR14","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1093\/jigpal\/5.3.1-e","volume":"5","author":"JM Font","year":"1997","unstructured":"Font, J. M., Belnap\u2019s four-valued logic and De Morgan lattices, Logic Journal of IGPL 5(3): 413\u2013440, 1997.","journal-title":"Logic Journal of IGPL"},{"issue":"5","key":"9879_CR15","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1093\/jigpal\/7.5.671","volume":"7","author":"JM Font","year":"1999","unstructured":"Font, J. M., Addendum to the paper \u2018Belnap\u2019s four-valued logic and De Morgan lattices\u2019, Logic Journal of IGPL 7(5): 671\u2013672, 1999.","journal-title":"Logic Journal of IGPL"},{"key":"9879_CR16","volume-title":"Abstract Algebraic Logic - An Introductory Textbook","author":"JM Font","year":"2016","unstructured":"Font,\u00a0J.\u00a0M., Abstract Algebraic Logic \u2013 An Introductory Textbook, Colledge Publications, London, 2016."},{"issue":"2","key":"9879_CR17","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s11225-018-9792-x","volume":"107","author":"M Ma","year":"2019","unstructured":"Ma,\u00a0M., and Y. Lin, A Deterministic Weakening of Belnap-Dunn Logic, Studia Logica 107(2): 283\u2013312, 2019.","journal-title":"Studia Logica"},{"key":"9879_CR18","doi-asserted-by":"publisher","unstructured":"Ma,\u00a0M., and Y. Lin,\u00a0Countably Many Weakenings of Belnap-Dunn Logic, Studia Logica, 2018. https:\/\/doi.org\/10.1007\/s11225-018-9840-6 .","DOI":"10.1007\/s11225-018-9840-6"},{"issue":"3","key":"9879_CR19","doi-asserted-by":"publisher","first-page":"903","DOI":"10.2178\/jsl\/1154698583","volume":"71","author":"JG Raftery","year":"2006","unstructured":"Raftery, J. G., Correspondences between Gentzen and Hilbert systems, The Journal of Symbolic Logic 71(3): 903\u2013957, 2006.","journal-title":"The Journal of Symbolic Logic"},{"key":"9879_CR20","unstructured":"Rasiowa, H., An Algebraic Approach to Non-Classical Logics, North-Holland, 1974."},{"key":"9879_CR21","doi-asserted-by":"crossref","first-page":"328","DOI":"10.2307\/j.ctv2x8v8c7.15","volume-title":"Paraconsistent Logics: Essays on the Inconsistent","author":"D Vakarelov","year":"1989","unstructured":"Vakarelov, D., Consistency, completeness and negation, in G. Priest, R. Routley, and J. Norman (eds.), Paraconsistent Logics: Essays on the Inconsistent, Philosophia Verlag, M\u00fcnchen, 1989, pp. 328\u2013363."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-019-09879-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-019-09879-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-019-09879-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,22]],"date-time":"2023-09-22T00:05:15Z","timestamp":1695341115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-019-09879-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,22]]},"references-count":21,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2020,10]]}},"alternative-id":["9879"],"URL":"https:\/\/doi.org\/10.1007\/s11225-019-09879-w","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,10,22]]},"assertion":[{"value":"27 February 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 October 2019","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}