{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T07:17:46Z","timestamp":1760426266539,"version":"3.40.4"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2024,10,13]],"date-time":"2024-10-13T00:00:00Z","timestamp":1728777600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,13]],"date-time":"2024-10-13T00:00:00Z","timestamp":1728777600000},"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":[[2025,5]]},"DOI":"10.1007\/s00153-024-00945-2","type":"journal-article","created":{"date-parts":[[2024,10,13]],"date-time":"2024-10-13T22:01:27Z","timestamp":1728856887000},"page":"387-422","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Bounded distributive lattices with strict implication and weak difference"],"prefix":"10.1007","volume":"64","author":[{"given":"Sergio","family":"Celani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agust\u00edn","family":"Nagy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Botero William","family":"Zuluaga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,13]]},"reference":[{"key":"945_CR1","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1002\/malq.19980440304","volume":"44","author":"M Ardeshir","year":"1998","unstructured":"Ardeshir, M., Ruitenburg, W.: Basic propositional calculus I. Math. Log. Quart. 44, 317\u2013343 (1998)","journal-title":"Math. Log. Quart."},{"key":"945_CR2","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/PL00003844","volume":"40","author":"M Ardeshir","year":"2001","unstructured":"Ardeshir, M., Ruitenburg, W.: Basic propositional calculus II. Interpolation. Arch. Math. Log. 40, 349\u201364 (2001)","journal-title":"Arch. Math. Log."},{"key":"945_CR3","volume-title":"Distributive Lattices","author":"R Balbes","year":"1974","unstructured":"Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press, Columbia (1974)"},{"key":"945_CR4","doi-asserted-by":"publisher","DOI":"10.1201\/9781439851302","volume-title":"Universal algebra: fundamentals and selected topics. pure and applied mathematics","author":"C Bergman","year":"2011","unstructured":"Bergman, C.: Universal algebra: fundamentals and selected topics. pure and applied mathematics. Chapman and Hall\/CRC, London (2011)"},{"key":"945_CR5","volume-title":"Implicaci\u00f3n estricta y l\u00f3gicas subintucionistas","author":"F Bou","year":"2001","unstructured":"Bou, F.: Implicaci\u00f3n estricta y l\u00f3gicas subintucionistas. Universitat de Barcelona, Tesis de Maestr\u00eda (2001)"},{"key":"945_CR6","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-94-009-6259-0_2","volume-title":"Handbook of Philosophical Logic","author":"J Burgess","year":"1984","unstructured":"Burgess, J.: Basic tense logic. In: Gabbay, D.M., G\u00fcnter, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 89\u2013139. Reidel, Dordrecht (1984)"},{"key":"945_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A course in universal algebra. The millennium Edition","author":"S Burris","year":"1981","unstructured":"Burris, S., Sankappanavar, H.P.: A course in universal algebra. The millennium Edition. Springer, New York (1981)"},{"issue":"4","key":"945_CR8","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1305\/ndjfl\/1063372244","volume":"42","author":"S Celani","year":"2001","unstructured":"Celani, S., Jansana, R.: A closer look at some subintutionistic logics. Notre Dame J. Form. Log. 42(4), 225\u2013255 (2001)","journal-title":"Notre Dame J. Form. Log."},{"issue":"3","key":"945_CR9","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1002\/malq.200410022","volume":"51","author":"S Celani","year":"2005","unstructured":"Celani, S., Jansana, R.: Bounded distributive lattices with strict implication. Math. Log. Quar. 51(3), 219\u2013246 (2005)","journal-title":"Math. Log. Quar."},{"key":"945_CR10","unstructured":"Chang C. C., Keisler H. J.: Model theory. North-Holland (1990)"},{"key":"945_CR11","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BF00383451","volume":"8","author":"R Cignoli","year":"1991","unstructured":"Cignoli, R., Lafalce, S., Petrovich, A.: Remarks on Priestley duality for distributive lattices. Order 8, 183\u2013197 (1991)","journal-title":"Order"},{"key":"945_CR12","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1002\/malq.19870330503","volume":"33","author":"G Corsi","year":"1987","unstructured":"Corsi, G.: Weak logics with strict implication. Zeitschrift fur mathematische Logik u Grundlagen d 33, 389\u2013406 (1987)","journal-title":"Zeitschrift fur mathematische Logik u Grundlagen d"},{"key":"945_CR13","first-page":"187","volume-title":"Models, Algebras, and Proofs, Bogota, 1995. Lect. Notes Pure Appl. Math.","author":"J Czelakowski","year":"1999","unstructured":"Czelakowski, J., Pigozzi, D.: Amalgamation and interpolation in abstract algebraic logic. In: Caicedo, X., Montenegro, C.H. (eds.) Models, Algebras, and Proofs, Bogota, 1995. Lect. Notes Pure Appl. Math., vol. 203, pp. 187\u2013265. Marcel Dekker Inc, New York City (1999)"},{"key":"945_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to lattices and order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to lattices and order. Cambridge University Press, Cambridge (2002)"},{"key":"945_CR15","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1002\/malq.19760220128","volume":"22","author":"G Epstein","year":"1976","unstructured":"Epstein, G., Horn, A.: Logics which are characterized by subresiduated lattices. Z. Math. Logik Grundlagen Math. 22, 199\u2013210 (1976)","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"945_CR16","volume-title":"A shorter model theory","author":"W Hodges","year":"1997","unstructured":"Hodges, W.: A shorter model theory. Cambridge University Press, Cambridge (1997)"},{"key":"945_CR17","first-page":"53","volume":"32","author":"T Kowalski","year":"1998","unstructured":"Kowalski, T.: Varieties of tense algebras. Rep. Math. Log. 32, 53\u201395 (1998)","journal-title":"Rep. Math. Log."},{"issue":"2\u20133","key":"945_CR18","first-page":"291","volume":"48","author":"JA Makowsky","year":"1984","unstructured":"Makowsky, J.A., Shelah, S.: The independence property and the amalgamation property. Israel J. Math. 48(2\u20133), 291\u2013311 (1984)","journal-title":"Israel J. Math."},{"key":"945_CR19","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/BF00370682","volume":"50","author":"L Maksimova","year":"1991","unstructured":"Maksimova, L.: Amalgamation and interpolation in normal modal logics. Stud. Log. 50, 457\u2013471 (1991)","journal-title":"Stud. Log."},{"key":"945_CR20","volume-title":"Categories for the working mathematician","author":"S Mac Lane","year":"2013","unstructured":"Mac Lane, S.: Categories for the working mathematician, vol. 5. Springer, Berlin (2013)"},{"key":"945_CR21","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.jalgebra.2013.11.019","volume":"402","author":"G Metcalfe","year":"2014","unstructured":"Metcalfe, G., Montagna, F., Tsinakis, C.: Amalgamation and interpolation in ordered algebras. J. Algebra 402, 21\u201382 (2014)","journal-title":"J. Algebra"},{"key":"945_CR22","unstructured":"Lyon, T., Tiu, A., Gore, R.: Syntactic interpolation for tense logics and bi-intuitionistic logic via nested sequents. In: 28th EACSL annual conference on computer science logic, pp. 1\u201316 (2020)"},{"key":"945_CR23","unstructured":"Palmigiano, A.: Dualities for some intuitionistic modal logics. In: Liber Amicorum for Dick de Jongh, institute for logic, language and computation, pp. 151\u2013167. University of Amsterdam (2004)"},{"key":"945_CR24","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 lattice by means of ordered Stone spaces. Bull. Lond. Math. Soc. 2, 186\u2013190 (1970)","journal-title":"Bull. Lond. Math. Soc."},{"issue":"1","key":"945_CR25","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1305\/ndjfl\/1040609299","volume":"35","author":"G Restall","year":"1994","unstructured":"Restall, G.: Subintuitionistic logics. Notre Dame J. Form. Log. 35(1), 116\u2013129 (1994)","journal-title":"Notre Dame J. Form. Log."},{"key":"945_CR26","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1023\/A:1008237600846","volume":"7","author":"Y Suzuki","year":"1998","unstructured":"Suzuki, Y., Wolter, F., Zakharyaschev, M.: Speaking about transitive frames in propositional languages. J. Log. Lang. Inform. 7, 317\u2013339 (1998)","journal-title":"J. Log. Lang. Inform."},{"key":"945_CR27","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BF01874706","volume":"40","author":"A Visser","year":"1981","unstructured":"Visser, A.: A propositional logic with explicit fixed points. Stud. Log. 40, 155\u2013175 (1981)","journal-title":"Stud. Log."},{"key":"945_CR28","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1023\/A:1004218110879","volume":"27","author":"F Wolter","year":"1998","unstructured":"Wolter, F.: On logics with Coimplication. J. Philos. Log. 27, 353\u2013387 (1998)","journal-title":"J. Philos. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00945-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-024-00945-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00945-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,25]],"date-time":"2025-04-25T02:58:29Z","timestamp":1745549909000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-024-00945-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,13]]},"references-count":28,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2025,5]]}},"alternative-id":["945"],"URL":"https:\/\/doi.org\/10.1007\/s00153-024-00945-2","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2024,10,13]]},"assertion":[{"value":"29 November 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 September 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 October 2024","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"}}]}}