{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,2]],"date-time":"2024-07-02T07:40:16Z","timestamp":1719906016356},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,3,23]],"date-time":"2018-03-23T00:00:00Z","timestamp":1521763200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Project Sup- ported by Guangdong Province Higher Vocational Colleges & Schools Pearl River Scholar Funded Scheme","award":["2017"],"award-info":[{"award-number":["2017"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1007\/s11225-018-9792-x","type":"journal-article","created":{"date-parts":[[2018,3,23]],"date-time":"2018-03-23T01:50:17Z","timestamp":1521769817000},"page":"283-312","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A Deterministic Weakening of Belnap\u2013Dunn Logic"],"prefix":"10.1007","volume":"107","author":[{"given":"Minghui","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuanlei","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,23]]},"reference":[{"key":"9792_CR1","doi-asserted-by":"publisher","unstructured":"Albuquerque, H., A. P\u0159enosil, and U. Rivieccio, An algebraic view of super-Belnap logics, Studia Logica 2017. https:\/\/doi.org\/10.1007\/s11225-017-9739-7 .","DOI":"10.1007\/s11225-017-9739-7"},{"key":"9792_CR2","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"AR Anderson","year":"1975","unstructured":"Anderson, A.R., and N.D. Belnap, et al., Entailment: The Logic of Relevance and Necessity, vol.1, Princeton University Press, Princeton, 1975."},{"key":"9792_CR3","volume-title":"Distributive Lattices","author":"R Balbes","year":"1974","unstructured":"Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, 1974."},{"key":"9792_CR4","doi-asserted-by":"crossref","unstructured":"Belnap, N., 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":"9792_CR5","unstructured":"Belnap, N., How a computer should think, in G. Ryle (ed.), Contemporary Aspects of Philosophy, 1977, pp. 30\u201355."},{"key":"9792_CR6","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BF01836429","volume":"16","author":"J Berman","year":"1977","unstructured":"Berman, J., Distributive lattices with an additional unary operation, Aequationes Mathematicae 16: 165\u2013171, 1977.","journal-title":"Aequationes Mathematicae"},{"key":"9792_CR7","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0021-8693(88)90248-7","volume":"117","author":"TS Blyth","year":"1988","unstructured":"Blyth, T.S., A.S. Noor, and J.C. Varlet, Ockham algebras with de Morgan skeletons, Journal of Algebra 117: 165\u2013178, 1988.","journal-title":"Journal of Algebra"},{"key":"9792_CR8","doi-asserted-by":"crossref","unstructured":"Blyth, T.S., and J.C. Varlet, Ockham Algebras, Oxford Science Publications, 1994.","DOI":"10.1093\/oso\/9780198599388.001.0001"},{"key":"9792_CR9","doi-asserted-by":"crossref","unstructured":"Chagrov, A., and M. Zakharyaschev, Modal Logic, Oxford Science Publications, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"9792_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2807-2","volume-title":"Protoalgebraic Logics","author":"J Czelakowski","year":"2001","unstructured":"Czelakowski, J., Protoalgebraic Logics, Kluwer Academic Publishers, Dordrecht, 2001."},{"key":"9792_CR11","unstructured":"Dunn, M., The Algebra of Intensional Logics, Ph.D. Dissertation, University of Pittsburg, 1966."},{"key":"9792_CR12","first-page":"433","volume":"32","author":"M Dunn","year":"1967","unstructured":"Dunn, 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":"9792_CR13","first-page":"362","volume":"36","author":"M Dunn","year":"1971","unstructured":"Dunn, 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":"9792_CR14","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"M Dunn","year":"1976","unstructured":"Dunn, M., Intuitive semantics for first-degree entailments and coupled trees, Philosophical Studies 29: 149\u2013168, 1976.","journal-title":"Philosophical Studies"},{"key":"9792_CR15","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":"M Dunn","year":"1986","unstructured":"Dunn, M., Relevance logic and entaiment, 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":"9792_CR16","doi-asserted-by":"crossref","unstructured":"Dunn, 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":"9792_CR17","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1026740726955","volume":"65","author":"M Dunn","year":"2000","unstructured":"Dunn, M., Partiality and its dual, Studia Logica 65: 5\u201340, 2000.","journal-title":"Studia Logica"},{"key":"9792_CR18","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/FI-1988-11206","volume":"11","author":"M Fitting","year":"1988","unstructured":"Fitting, M., Logic programming on a topological bilattice, Fundamenta Informatica 11: 209\u2013218, 1988.","journal-title":"Fundamenta Informatica"},{"key":"9792_CR19","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 the IGPL 5: 413\u2013440, 1997.","journal-title":"Logic Journal of the IGPL"},{"key":"9792_CR20","volume-title":"Abstract Algebraic Logic - An Introductory Textbook","author":"JM Font","year":"2016","unstructured":"Font, J.M., Abstract Algebraic Logic \u2013 An Introductory Textbook, Colledge Publications, London, 2016."},{"key":"9792_CR21","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"ML Ginsberg","year":"1988","unstructured":"Ginsberg, M.L., Multivalued logics: A uniform approach to inference in artificial intelligence, Computational Intelligence 4: 265\u2013316, 1988.","journal-title":"Computational Intelligence"},{"key":"9792_CR22","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s11225-006-9003-z","volume":"84","author":"R Jansana","year":"2006","unstructured":"Jansana, R., Selfextensional logics with a conjunction, Studia Logica 84: 63\u2013104, 2006.","journal-title":"Studia Logica"},{"key":"9792_CR23","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"JA Kalman","year":"1958","unstructured":"Kalman, J.A., Lattices with involution, Transactions of the American Mathematical Society 87: 485\u2013491, 1958.","journal-title":"Transactions of the American Mathematical Society"},{"key":"9792_CR24","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s10992-011-9215-1","volume":"42","author":"A Pietz","year":"2013","unstructured":"Pietz, A., and U. Rivieccio, Nothing but the truth, Journal of Philosophical Logic 42: 125\u2013135, 2013.","journal-title":"Journal of Philosophical Logic"},{"key":"9792_CR25","volume-title":"An Algebraic Approach to Non-classical Logics","author":"H Rasiowa","year":"1974","unstructured":"Rasiowa, H., An Algebraic Approach to Non-classical Logics, North-Holland Publishing Company, Amsterdam, 1974."},{"key":"9792_CR26","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1080\/11663081.2012.737154","volume":"22","author":"U Rivieccio","year":"2012","unstructured":"Rivieccio, U., An infinity of super-Belnap logics, Journal of Applied Non-Classical Logics 22: 319\u2013335, 2012.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9792_CR27","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1002\/malq.19850312502","volume":"31","author":"HP Sankappanavar","year":"1985","unstructured":"Sankappanavar, H.P., Distributive lattices with a dual endomorphism, Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 31: 385\u2013392, 1985.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"issue":"3","key":"9792_CR28","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1017\/S0022481200029716","volume":"52","author":"HP Sankappanavar","year":"1987","unstructured":"Sankappanavar, H.P., Semi-De Morgan lattices, The Journal of Symbolic Logic 52(3): 712\u2013724, 1987.","journal-title":"The Journal of Symbolic Logic"},{"key":"9792_CR29","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/BF00370442","volume":"38","author":"A Urquhart","year":"1979","unstructured":"Urquhart, A., Lattices with a dual homomorphic operation, Studia Logica 38: 201\u2013209, 1979.","journal-title":"Studia Logica"},{"key":"9792_CR30","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/BF00401657","volume":"40","author":"A Urquhart","year":"1981","unstructured":"Urquhart, A., Lattices with a dual homomorphic operation II, Studia Logica 40: 391\u2013404, 1981.","journal-title":"Studia Logica"},{"key":"9792_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calucli: Basic Theory of Consequence Operations","author":"R W\u00f3jcicki","year":"1988","unstructured":"W\u00f3jcicki, R., Theory of Logical Calucli: Basic Theory of Consequence Operations, Reidel, Dordrecht, 1988."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9792-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-018-9792-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9792-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,2]],"date-time":"2024-07-02T06:59:57Z","timestamp":1719903597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-018-9792-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,23]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["9792"],"URL":"https:\/\/doi.org\/10.1007\/s11225-018-9792-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,23]]},"assertion":[{"value":"23 March 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}