{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T05:20:48Z","timestamp":1775452848324,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T00:00:00Z","timestamp":1768521600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T00:00:00Z","timestamp":1768521600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2026,3]]},"DOI":"10.1007\/s00153-025-01001-3","type":"journal-article","created":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T12:27:37Z","timestamp":1768566457000},"page":"425-449","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Characterization of subdirectly irreducible heyting algebras with negative tense operators"],"prefix":"10.1007","volume":"65","author":[{"given":"Federico","family":"Almi\u00f1ana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gustavo","family":"Pelaitay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,1,16]]},"reference":[{"issue":"2","key":"1001_CR1","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1515\/ms-2022-0021","volume":"72","author":"F Almi\u00f1ana","year":"2022","unstructured":"Almi\u00f1ana, F., Pelaitay, G.: Localization of $$k\\times j$$-rough Heyting algebras. Math. Slovaca 72(2), 319\u2013332 (2022)","journal-title":"Math. Slovaca"},{"key":"1001_CR2","first-page":"307","volume":"35","author":"F Almi\u00f1ana","year":"2020","unstructured":"Almi\u00f1ana, F., Pelaitay, G.: A Topological Duality for $$k\\times j$$-rough Heyting Algebras. J. Multip.-Valued Log. Soft Comput. 35, 307\u2013323 (2020)","journal-title":"J. Multip.-Valued Log. Soft Comput."},{"key":"1001_CR3","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1007\/s11225-023-10053-6","volume":"111","author":"F Almi\u00f1ana","year":"2023","unstructured":"Almi\u00f1ana, F., Pelaitay, G., Zuluaga, W.: On Heyting algebras with negative tense operators. Stud. Logica. 111, 1015\u20131036 (2023)","journal-title":"Stud. Logica."},{"key":"1001_CR4","volume-title":"Distributive Lattices","author":"R Balbes","year":"1974","unstructured":"Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press, Columbia (1974)"},{"key":"1001_CR5","unstructured":"Bimbo, K., Dunn, M.: Generalized Galois Logics: Relational Semantics for Non-classical Logical Calculi. CSLI Publications (2008)"},{"key":"1001_CR6","volume-title":"Lattices and Ordered Algebraic Structures","author":"TS Blyth","year":"2005","unstructured":"Blyth, T.S.: Lattices and Ordered Algebraic Structures. Springer, New York (2005)"},{"key":"1001_CR7","doi-asserted-by":"crossref","unstructured":"Burris, S., Sankappanavar, H.P.: A course in universal algebra. Graduate Texts in Mathematics, 78. Springer-Verlag, New York-Berlin, (1981). xvi+276","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"1001_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattice and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattice and Order, 2nd edn. Cambridge University Press, Cambridge (2002)","edition":"2"},{"key":"1001_CR9","doi-asserted-by":"crossref","unstructured":"Denecke, K., Erne, M., Wismath, S.L. (eds.): Galois Connections and Applications. Kluwer Academic Publishers (2004)","DOI":"10.1007\/978-1-4020-1898-5"},{"issue":"4","key":"1001_CR10","first-page":"379","volume":"81","author":"D Diaconescu","year":"2007","unstructured":"Diaconescu, D., Georgescu, G.: Tense operators on MV-algebras and \u0141ukasiewicz\u2013Moisil algebras. Fund. Inform. 81(4), 379\u2013408 (2007)","journal-title":"Fund. Inform."},{"issue":"2","key":"1001_CR11","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1093\/jigpal\/jzs016","volume":"21","author":"W Dzik","year":"2013","unstructured":"Dzik, W., J\u00e4rvinen, J., Kondo, M.: Intuitionistic modal logic with a Galois connection has the finite model property. Log. J. IGPL 21(2), 199\u2013204 (2013)","journal-title":"Log. J. IGPL"},{"issue":"6","key":"1001_CR12","doi-asserted-by":"publisher","first-page":"992","DOI":"10.1093\/jigpal\/jzu024","volume":"22","author":"W Dzik","year":"2014","unstructured":"Dzik, W., J\u00e4rvinen, J., Kondo, M.: Characterizing intermediate tense logics in terms of Galois connections. Log. J. IGPL 22(6), 992\u20131018 (2014)","journal-title":"Log. J. IGPL"},{"key":"1001_CR13","doi-asserted-by":"crossref","unstructured":"Dzik, W., J\u00e4rvinen, J., Kondo, M.: Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. Internat. J. Approx. Reason. 55, 1, part 4, 427\u2013435 (2014)","DOI":"10.1016\/j.ijar.2013.07.005"},{"key":"1001_CR14","first-page":"147","volume":"15","author":"L Esakia","year":"1974","unstructured":"Esakia, L.: Topological Kripke models. Soviet Math Dokl. 15, 147\u2013151 (1974)","journal-title":"Soviet Math Dokl."},{"key":"1001_CR15","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. Trans. Am. Math. Soc. 55, 514\u2013525 (1944)","journal-title":"Trans. Am. Math. Soc."},{"issue":"1","key":"1001_CR16","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. J. Symb. Log. 51(1), 166\u2013179 (1986)","journal-title":"J. Symb. Log."},{"key":"1001_CR17","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF00379761","volume":"44","author":"AW Jankowski","year":"1985","unstructured":"Jankowski, A.W.: Galois structures. Stud. Logica. 44, 109\u2013124 (1985)","journal-title":"Stud. Logica."},{"issue":"9","key":"1001_CR18","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., Rewitzky, I.: Algebras for Galois-style connections and their discrete duality. Fuzzy Sets Syst. 161(9), 1325\u20131342 (2010)","journal-title":"Fuzzy Sets Syst."},{"key":"1001_CR19","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s11225-022-10014-5","volume":"111","author":"M Ma","year":"2023","unstructured":"Ma, M., Li, G.: Intuitionistic Propositional Logic with Galois Negations. Stud. Logica. 111, 21\u201356 (2023)","journal-title":"Stud. Logica."},{"key":"1001_CR20","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. Trans. Am. Math. SOC. 55, 493\u2013513 (1944)","journal-title":"Galois connexions. Trans. Am. Math. SOC."},{"key":"1001_CR21","first-page":"39","volume":"23","author":"HA Priestley","year":"1984","unstructured":"Priestley, H.A.: Ordered sets and duality for distributive lattices. Ann. Discrete Math. 23, 39\u201360 (1984)","journal-title":"Ann. Discrete Math."},{"key":"1001_CR22","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"HA Priestley","year":"1970","unstructured":"Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. Lond. Math. Soc. 2, 186\u2013190 (1970)","journal-title":"Bull. Lond. Math. Soc."},{"issue":"3","key":"1001_CR23","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1112\/plms\/s3-24.3.507","volume":"24","author":"HA Priestley","year":"1972","unstructured":"Priestley, H.A.: Ordered topological spaces and the representation of distributive lattices. Bull. Lond. Math. Soc. 24(3), 507\u2013530 (1972)","journal-title":"Bull. Lond. Math. Soc."},{"key":"1001_CR24","doi-asserted-by":"publisher","first-page":"967","DOI":"10.1016\/j.dam.2007.08.050","volume":"156","author":"E San Juan","year":"2008","unstructured":"San Juan, E.: Heyting algebras with Boolean operators for rough sets and information retrieval applications. Discrete Appl. Math. 156, 967\u2013983 (2008)","journal-title":"Discrete Appl. Math."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-01001-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-025-01001-3","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-01001-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T03:59:24Z","timestamp":1775447964000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-025-01001-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,16]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,3]]}},"alternative-id":["1001"],"URL":"https:\/\/doi.org\/10.1007\/s00153-025-01001-3","relation":{"has-preprint":[{"id-type":"doi","id":"10.21203\/rs.3.rs-4025452\/v1","asserted-by":"object"}]},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,1,16]]},"assertion":[{"value":"7 March 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 December 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 January 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no Conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}