{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,17]],"date-time":"2026-01-17T03:54:12Z","timestamp":1768622052165,"version":"3.49.0"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,9,26]],"date-time":"2022-09-26T00:00:00Z","timestamp":1664150400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,9,26]],"date-time":"2022-09-26T00:00:00Z","timestamp":1664150400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100012456","name":"National Social Science Fund of China","doi-asserted-by":"publisher","award":["18ZDA033"],"award-info":[{"award-number":["18ZDA033"]}],"id":[{"id":"10.13039\/501100012456","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2023,2]]},"DOI":"10.1007\/s11225-022-10014-5","type":"journal-article","created":{"date-parts":[[2022,9,26]],"date-time":"2022-09-26T10:03:08Z","timestamp":1664186588000},"page":"21-56","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Intuitionistic Propositional Logic with Galois Negations"],"prefix":"10.1007","volume":"111","author":[{"given":"Minghui","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guiying","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,26]]},"reference":[{"key":"10014_CR1","unstructured":"Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, 1974."},{"key":"10014_CR2","unstructured":"Bimbo, K., and M. Dunn, Generalized Galois Logics: Relational Semantics for Nonclassical Logical Calculi, CSLI Publications, 2008."},{"key":"10014_CR3","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge Univerity Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"10014_CR4","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/1385-7258(75)90033-5","volume":"37","author":"WJ Blok","year":"1975","unstructured":"Blok, W. J., and PH. Dwinger, Equational classes of closure algebras I, Indagtiones Mathematics 37: 189\u2013198, 1975.","journal-title":"Indagtiones Mathematics"},{"key":"10014_CR5","unstructured":"Blok, W. J., Varieties of Interior Algebras, Ph.D. thesis, University of Amsterdam, 1976."},{"key":"10014_CR6","unstructured":"Blyth, T. S., Lattices and Ordered Algebraic Structures, Springer, 2005."},{"key":"10014_CR7","doi-asserted-by":"crossref","unstructured":"Chagrvov, A., and M. Zakharyaschev, Modal Logic, Clarendon Press, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"10014_CR8","unstructured":"Davey, B. A., and H. A. Priestley, Introduction to Lattice and Order, 2nd edition, Cambridge University Press, 2002."},{"issue":"3","key":"10014_CR9","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.apal.2009.07.009","volume":"161","author":"JM Davoren","year":"2009","unstructured":"Davoren, J. M., On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations, Annals of Pure and Applied Logic 161(3): 349\u2013367, 2009.","journal-title":"Annals of Pure and Applied Logic"},{"key":"10014_CR10","doi-asserted-by":"crossref","unstructured":"Denecke, K., M. Erne, and S. L. Wismath, (eds.), Galois Connections and Applications, Kluwer Academic Publishers, 2004.","DOI":"10.1007\/978-1-4020-1898-5"},{"key":"10014_CR11","unstructured":"Dos\u0306en,\u00a0K., Negation as a modal operator, Reports on Mathematical Logic 20: 15\u201327, 1986."},{"key":"10014_CR12","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":"10014_CR13","doi-asserted-by":"crossref","unstructured":"Dunn, M. J., Star and Perp: two treatments of negation, Philosophical Perspectives 7: 331\u2013357, 1993.","DOI":"10.2307\/2214128"},{"key":"10014_CR14","doi-asserted-by":"crossref","unstructured":"Dunn, M. J., Generalized ortho negation, in H. Wansing, (ed.), Negation: A Notion in Focus, Walter de Gruyter, Berlin, 1995, pp. 3\u201326.","DOI":"10.1515\/9783110876802.3"},{"key":"10014_CR15","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"},{"issue":"2\u20133","key":"10014_CR16","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s11225-005-8470-y","volume":"80","author":"M Dunn","year":"2005","unstructured":"Dunn, M., and C. Zhou, Negation in the context of Gaggle theory, Studia Logica 80 (2-3): 235\u2013264, 2005.","journal-title":"Studia Logica"},{"key":"10014_CR17","doi-asserted-by":"publisher","first-page":"837","DOI":"10.1093\/jigpal\/jzp057","volume":"18","author":"W Dzik","year":"2010","unstructured":"Dzik, W., T. J\u00e4rvinen, and M. Kondo, Intuitionistic propositional logic with Galois connections, Logic Journal of the IGPL 18: 837\u2013858, 2010.","journal-title":"Logic Journal of the IGPL"},{"issue":"6","key":"10014_CR18","doi-asserted-by":"publisher","first-page":"992","DOI":"10.1093\/jigpal\/jzu024","volume":"22","author":"W Dzik","year":"2014","unstructured":"Dzik, W., J. J\u00e4rvinen, and M. Kondo, Characterizing intermediate tense logics in terms of Galois connections, Logic Journal of the IGPL 22 (6): 992\u20131018, 2014.","journal-title":"Logic Journal of the IGPL"},{"issue":"1","key":"10014_CR19","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1016\/j.ijar.2013.07.005","volume":"55","author":"W Dzik","year":"2014","unstructured":"Dzik, W., J. J\u00e4rvinen, and M. Kondo, Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets, International Journal of Approximate Reasoning 55 (1): 427\u2013435, 2014.","journal-title":"International Journal of Approximate Reasoning"},{"key":"10014_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-12096-2","volume-title":"Heyting Algebras: Duality Theory, edited by G","author":"L Esakia","year":"2019","unstructured":"Esakia, L., Heyting Algebras: Duality Theory, edited by G. Bezhanishvili and W. Holliday, Springer, 2019."},{"key":"10014_CR21","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1090\/S0002-9947-1944-0010556-9","volume":"55","author":"CI Everett","year":"1944","unstructured":"Everett, C. I., Closure operators and Galois theory in lattices, Transactions of the American Mathematical Society 55: 514\u2013525, 1944.","journal-title":"Transactions of the American Mathematical Society"},{"issue":"1","key":"10014_CR22","doi-asserted-by":"publisher","first-page":"166","DOI":"10.2307\/2273953","volume":"51","author":"WB Ewald","year":"1986","unstructured":"Ewald, W. B., Intuitionistic tense and modal logic, The Journal of Symbolic Logic 51(1): 166\u2013179, 1986.","journal-title":"The Journal of Symbolic Logic"},{"key":"10014_CR23","doi-asserted-by":"publisher","first-page":"1873","DOI":"10.1007\/s00500-014-1317-6","volume":"18","author":"AV Figallo","year":"2014","unstructured":"Figallo, A. V., and G. Pelaitay, An algebraic axiomatization of the Ewald\u2019s intuitionistic tense logic, Soft Computing 18: 1873\u20131883, 2014.","journal-title":"Soft Computing"},{"issue":"1","key":"10014_CR24","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1093\/logcom\/exy030","volume":"29","author":"C Hartonas","year":"2019","unstructured":"Hartonas, C., Discrete duality for lattices with modal operators, Journal of Logic and Computation, 29 (1): 71\u201389, 2019","journal-title":"Journal of Logic and Computation"},{"key":"10014_CR25","unstructured":"Galatos, N., T. Kowalski, and H. Ono, Residuated Lattices, Elsevier, 2007."},{"key":"10014_CR26","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF00379761","volume":"44","author":"AW Jankowski","year":"1985","unstructured":"Jankowski, A. W., Galois structures, Studia Logica 44: 109\u2013124, 1985.","journal-title":"Studia Logica"},{"key":"10014_CR27","doi-asserted-by":"crossref","unstructured":"J\u00e4rvinen, J., M. Kondo, and J. Kortelainen, Logics from Galois connections, International Journal of Approximate Reasoning 49: 595\u2013606, 2008.","DOI":"10.1016\/j.ijar.2008.06.003"},{"key":"10014_CR28","doi-asserted-by":"crossref","unstructured":"Kurucz, A., Combining modal logics, in P. Blackburn, F. Wolter, and J. van Benthem, (eds.), Handbook of Modal Logic, Elsevier, 2007, pp. 869\u2013924.","DOI":"10.1016\/S1570-2464(07)80018-8"},{"key":"10014_CR29","doi-asserted-by":"publisher","first-page":"877","DOI":"10.1007\/s11225-019-09879-w","volume":"108","author":"Y Lin","year":"2020","unstructured":"Lin, Y., and M. Ma, Polarity semantics for negation as a modal operator, Studia Logica 108: 877\u2013902, 2020.","journal-title":"Studia Logica"},{"key":"10014_CR30","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s11225-018-9840-6","volume":"108","author":"M Ma","year":"2020","unstructured":"Ma, M., and Y. Lin, Countably many weakenings of Belnap-Dunn logic, Studia Logica 108: 163\u2013198, 2020.","journal-title":"Studia Logica"},{"issue":"1","key":"10014_CR31","doi-asserted-by":"publisher","first-page":"122","DOI":"10.2307\/1969038","volume":"47","author":"JCC McKinsey","year":"1946","unstructured":"McKinsey, J. C. C., and A. Tarski, On closed elements in closure algebras, Annals of Mathematics 47 (1): 122\u2013162, 1946.","journal-title":"Annals of Mathematics"},{"issue":"1","key":"10014_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2268135","volume":"13","author":"JCC McKinsey","year":"1948","unstructured":"McKinsey, J. C. C., and A. Tarski, Some theorems about the sentential calculi of Lewis and Heyting, The Journal of Symbolic Logic 13 (1): 1\u201315, 1948.","journal-title":"The Journal of Symbolic Logic"},{"key":"10014_CR33","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1090\/S0002-9947-1944-0010555-7","volume":"55","author":"O Ore","year":"1944","unstructured":"Ore, O., Galois connexions, Transactions of the American Mathematical Society, 55: 493\u2013513, 1944.","journal-title":"Transactions of the American Mathematical Society"},{"key":"10014_CR34","first-page":"195","volume":"81","author":"E Or\u0142owska","year":"2007","unstructured":"Or\u0142owska, E., and I. Rewitzky, Discrete dualities for Heyting algebras with operators, Fundamenta Informaticae 81: \u2013 275, 2007.","journal-title":"Fundamenta Informaticae"},{"issue":"9","key":"10014_CR35","doi-asserted-by":"publisher","first-page":"1325","DOI":"10.1016\/j.fss.2009.12.013","volume":"161","author":"E Or\u0142owska","year":"2010","unstructured":"Or\u0142owska, E., and I. Rewitzky, Algebras for Galois-style connections and their discrete duality, Fuzzy Sets and Systems 161 (9): 1325\u20131342, 2010.","journal-title":"Fuzzy Sets and Systems"},{"key":"10014_CR36","unstructured":"Or\u0142owska, E., A. M. Radzikowska, and I. Rewitzky, Dualities for Structures of Applied Logics, College Publications, 2015."},{"issue":"1","key":"10014_CR37","doi-asserted-by":"publisher","first-page":"2250014","DOI":"10.1142\/S1793557122500140","volume":"15","author":"C Segura","year":"2002","unstructured":"Segura, C., Tense De Morgan S4-algebras, Asian-European Journal of Mathematics 15 (1): 2250014, 2002.","journal-title":"Asian-European Journal of Mathematics"},{"key":"10014_CR38","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/BF00370317","volume":"39","author":"SK Thomason","year":"1980","unstructured":"Thomason, S. K., Independent propositional modal logics, Studia Logica \u00a0 39: 134\u2013144, 1980.","journal-title":"Studia Logica"},{"key":"10014_CR39","doi-asserted-by":"crossref","unstructured":"Troelstra, A. S., and H. Schwichtenberg, Basic Proof Theory, 2nd edition, Cambridge University Press, 2000.","DOI":"10.1017\/CBO9781139168717"},{"key":"10014_CR40","unstructured":"Vakarelov, D., Theory of Negation in Certain Logical Systems: Algebraic and Semantic Approach, Ph.D. thesis, University of Warsaw, 1977."},{"key":"10014_CR41","doi-asserted-by":"crossref","unstructured":"Wansing, H., On split negation, strong negation, information, falsification, and verification, in K. Bimb\u00f3, (ed.), J. Michael Dunn on Information Based Logics, vol. 8 of Outstanding Contributions to Logic, Springer, 2016, pp. 161\u2013189.","DOI":"10.1007\/978-3-319-29300-4_10"},{"key":"10014_CR42","unstructured":"Wolter, F., Fusions of modal logics revisited, in M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev, (eds.), Advances in Modal Logic, vol. 1, CSLI Publications, 1998, pp. 361\u2013379."},{"key":"10014_CR43","unstructured":"Wolter, F., and M. Zakharyaschev, Intuitionistic modal logics as fragments of classical bimodal logics, in E. Or\u0142owska, (ed.), Logic at Work, Kluwer Academic Publishers, 1998, pp. 168\u2013186."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-10014-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-022-10014-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-10014-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,27]],"date-time":"2023-11-27T18:44:59Z","timestamp":1701110699000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-022-10014-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,26]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["10014"],"URL":"https:\/\/doi.org\/10.1007\/s11225-022-10014-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,9,26]]},"assertion":[{"value":"30 April 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 August 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 September 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}