{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:39:36Z","timestamp":1757543976413},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,12,12]],"date-time":"2018-12-12T00:00:00Z","timestamp":1544572800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"National Social Science Found of China"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2020,4]]},"DOI":"10.1007\/s11225-018-9840-6","type":"journal-article","created":{"date-parts":[[2018,12,12]],"date-time":"2018-12-12T14:08:51Z","timestamp":1544623731000},"page":"163-198","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Countably Many Weakenings of Belnap\u2013Dunn Logic"],"prefix":"10.1007","volume":"108","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,12,12]]},"reference":[{"key":"9840_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"},{"issue":"2","key":"9840_CR2","doi-asserted-by":"publisher","first-page":"514","DOI":"10.2307\/2275217","volume":"58","author":"G Allwein","year":"1993","unstructured":"Allwein, G., and J. M. Dunn, Kripke models for linear logic, The Journal of Symbolic Logic 58(2):514\u2013545, 1993.","journal-title":"The Journal of Symbolic Logic"},{"key":"9840_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-94-010-1161-7_2","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N Belnap","year":"1977","unstructured":"Belnap, N., A useful four-valued logic, in: J.M. Dunn and G. Epstein, (eds.), Modern Uses of Multiple-Valued Logic, Springer Netherlands, 1977, pp. 5\u201337."},{"key":"9840_CR4","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"},{"issue":"1\u20133","key":"9840_CR5","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s11225-006-8299-z","volume":"83","author":"WJ Blok","year":"2006","unstructured":"Blok, W.J., and B. J\u00f3nsson, Equivalence of consequence operations, Studia Logica 83(1\u20133):91\u2013110, 2006.","journal-title":"Studia Logica"},{"issue":"3\u20134","key":"9840_CR6","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1017\/S0308210500015663","volume":"94","author":"TS Blyth","year":"1983","unstructured":"Blyth, T.S., and J.C. Varlet, On a common abstraction of de Morgan algebras and Stone algebras, Proceedings of the Royal Society of Edinburgh 94(3\u20134):301\u2013308, 1983.","journal-title":"Proceedings of the Royal Society of Edinburgh"},{"key":"9840_CR7","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1017\/S0308210500015869","volume":"95A","author":"TS Blyth","year":"1983","unstructured":"Blyth, T.S., and J.C. Varlet, Subvarieties of the class of MS-algebras, Proceedings of the Royal Society of Edinburgh 95A:157\u2013169, 1983.","journal-title":"Proceedings of the Royal Society of Edinburgh"},{"key":"9840_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"},{"issue":"6","key":"9840_CR9","doi-asserted-by":"publisher","first-page":"1031","DOI":"10.1093\/logcom\/exp030","volume":"19","author":"F Bou","year":"2009","unstructured":"Bou, F., F. Esteva, J.M. Font, \u00c0.J. Gil, L. Godo, A. Torrens, and V. Verd\u00fa, Logics preserving degrees of truth from varieties of residuated lattices, Journal of Logic and Computation 19(6):1031\u20131069, 2009.","journal-title":"Journal of Logic and Computation"},{"key":"9840_CR10","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1093\/logcom\/exr003","volume":"22","author":"F Bou","year":"2012","unstructured":"Bou, F., and J.M. Font, Corrigendum to the paper \u2018Logics preserving degrees of truth from varieties of residuated lattices\u2019, Journal of Logic and Computation 22:661\u2013665, 2012.","journal-title":"Journal of Logic and Computation"},{"key":"9840_CR11","unstructured":"Dunn, J.M., The Algebra of Intensional Logics, Ph.D. Dissertation, University of Pittsburg, 1966."},{"key":"9840_CR12","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":"9840_CR13","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":"9840_CR14","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":"9840_CR15","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":"9840_CR16","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":"9840_CR17","first-page":"713","volume":"70","author":"JM Dunn","year":"2005","unstructured":"Dunn, J.M., Gehrke, and A. Palmigiano, Canonical extensions and relational completeness of some structural logics, The Journal of Symbolic Logic 70(3):713\u2013740, 2005.","journal-title":"Palmigiano, Canonical extensions and relational completeness of some structural logics, The Journal of Symbolic Logic"},{"issue":"3","key":"9840_CR18","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., Belnaps\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":"9840_CR19","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":"9840_CR20","unstructured":"Font, J. M., Abstract Algebraic Logic, College Publications, 2016."},{"key":"9840_CR21","volume-title":"A General Algebraic Semantics for Sentential Logics, Association for Symbolic Logic","author":"JM Font","year":"2009","unstructured":"Font, J.M., and R. Jansana, A General Algebraic Semantics for Sentential Logics, Association for Symbolic Logic, Richard A. Shore, Publisher, Cornell University, Ithaca NY, 2009."},{"key":"9840_CR22","doi-asserted-by":"publisher","first-page":"818","DOI":"10.1093\/jigpal\/jzu003","volume":"22","author":"JM Font","year":"2014","unstructured":"Font, J.M., and T. Moraschini, Logics of varieties, logics of semilattices, and conjunction, Logic Journal of the IGPL 22:818\u2013843, 2014.","journal-title":"Logic Journal of the IGPL"},{"issue":"1","key":"9840_CR23","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s11225-013-9536-x","volume":"103","author":"JM Font","year":"2015","unstructured":"Font, J.M., and T. Moraschini, M-sets and the representation problem, Studia Logica 103(1):21\u201351, 2015.","journal-title":"Studia Logica"},{"key":"9840_CR24","doi-asserted-by":"crossref","unstructured":"Ganter, B., G. Stumme, and R. Wille, (eds.), Formal Concept Analysis: Foundations and Applications, LNCS 3626, Springer, 2005.","DOI":"10.1007\/978-3-540-31881-1"},{"issue":"2","key":"9840_CR25","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s11225-006-9008-7","volume":"84","author":"M Gehrke","year":"2006","unstructured":"Gehrke, M., Generalized Kripke frames, Studia Logica 84(2):241\u2013275, 2006.","journal-title":"Studia Logica"},{"issue":"1","key":"9840_CR26","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1006\/jabr.2000.8622","volume":"238","author":"M Gehrke","year":"2001","unstructured":"Gehrke, M., and J. Harding, Bounded lattice expansions, Journal of Algebra 238(1):345\u2013371, 2001.","journal-title":"Journal of Algebra"},{"key":"9840_CR27","doi-asserted-by":"publisher","first-page":"13","DOI":"10.7146\/math.scand.a-14428","volume":"94","author":"M Gehrke","year":"2004","unstructured":"Gehrke, M., and B. J\u00f3nsson, Bounded distributive lattice expansions, Mathematica Scandinavica 94:13\u201345, 2004.","journal-title":"Mathematica Scandinavica"},{"key":"9840_CR28","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/BF01418756","volume":"42","author":"MS Goldberg","year":"1983","unstructured":"Goldberg, M.S., Topological duality for distributive Ockham algebras, Studia Logica 42:23\u201331, 1983.","journal-title":"Studia Logica"},{"issue":"1","key":"9840_CR29","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s11225-006-9003-z","volume":"84","author":"R Jansana","year":"2006","unstructured":"Jansana, R., Self-extensional logics with a conjunction, Studia Logica 84(1):63\u2013104, 2006.","journal-title":"Studia Logica"},{"key":"9840_CR30","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1007\/s00153-012-0301-z","volume":"51","author":"R Jansana","year":"2012","unstructured":"Jansana, R., Algebraizable logics with a strong conjunction and their semi-lattice based companions, Archive for Mathematical Logic 51:831\u2013861, 2012.","journal-title":"Archive for Mathematical Logic"},{"issue":"3","key":"9840_CR31","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1007\/s11225-016-9650-7","volume":"104","author":"R Jansana","year":"2016","unstructured":"Jansana, R., On the deductive system of the order of an equationally orderable quasivariety, Studia Logica 104(3):547\u2013566, 2016.","journal-title":"Studia Logica"},{"key":"9840_CR32","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":"9840_CR33","doi-asserted-by":"publisher","unstructured":"Ma, M., and Y. Lin, A deterministic weakening of Belnap\u2013Dunn logic, Studia Logica, 2018. https:\/\/doi.org\/10.1007\/s11225-018-9792-x","DOI":"10.1007\/s11225-018-9792-x"},{"key":"9840_CR34","first-page":"211","volume-title":"Logic and Algebra","author":"R McKenzie","year":"1996","unstructured":"McKenzie, R., An algebraic version of categorical equivalence for varieties and more general algebraic categories, in: P. Aglian\u00f2 and R. Magari, (eds.), Logic and Algebra, Dekker, New York, 1996, pp. 211\u2013243."},{"issue":"3","key":"9840_CR35","doi-asserted-by":"publisher","first-page":"899","DOI":"10.1017\/jsl.2018.47","volume":"83","author":"T Moraschini","year":"2018","unstructured":"Moraschini, T., An algebraic characterization of adjunctions between generalized quasi-varieties, The Journal of Symbolic Logic 83(3):899\u2013919, 2018.","journal-title":"The Journal of Symbolic Logic"},{"key":"9840_CR36","doi-asserted-by":"publisher","first-page":"207","DOI":"10.2969\/msjmemoirs\/00201C060","volume-title":"Theories of Types and Proofs","author":"H Ono","year":"1998","unstructured":"Ono, H., Proof-theoretic methods in nonclassical logics\u2014an introduction, in: M. Takahashi, M. Okada and M. Dezani-Ciancaglini, (eds.), Theories of Types and Proofs, Mathematical Society of Japan, Tokyo, 1998, pp. 207\u2013252."},{"issue":"1","key":"9840_CR37","first-page":"37","volume":"49","author":"HA Priestley","year":"1992","unstructured":"Priestley, H.A., and G. Bordalo, Negation operations definable on finite distributive lattices, Portugaliae Mathematica 49(1):37\u201349, 1992.","journal-title":"Portugaliae Mathematica"},{"issue":"4","key":"9840_CR38","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1002\/malq.19950410403","volume":"41","author":"AP Pynko","year":"1995","unstructured":"Pynko, A.P., Characterizing Belnap\u2019s logic via De Morgan\u2019s laws, Mathematical Logic Quarterly 41(4):442\u2013454, 1995.","journal-title":"Mathematical Logic Quarterly"},{"issue":"3","key":"9840_CR39","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"},{"issue":"1","key":"9840_CR40","first-page":"315","volume":"44","author":"M Ramalho","year":"1987","unstructured":"Ramalho, M., and M. Sequeira, On generalised MS-algebras, Portugaliae Mathematica 44(1):315\u2013328, 1987.","journal-title":"Portugaliae Mathematica"},{"key":"9840_CR41","unstructured":"Rebagliato, J., and V. Verd\u00fa, Algebraizable Gentzen systems and the deduction theorem for Gentzen systems, Mathematics Preprint Series 175, University of Barcelona, 1995."},{"key":"9840_CR42","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":"9840_CR43","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":"9840_CR44","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"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9840-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-018-9840-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9840-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T07:32:11Z","timestamp":1720855931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-018-9840-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,12]]},"references-count":44,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,4]]}},"alternative-id":["9840"],"URL":"https:\/\/doi.org\/10.1007\/s11225-018-9840-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,12,12]]},"assertion":[{"value":"13 May 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 December 2018","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}