{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:17:05Z","timestamp":1740107825308,"version":"3.37.3"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,11,26]],"date-time":"2019-11-26T00:00:00Z","timestamp":1574726400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,11,26]],"date-time":"2019-11-26T00:00:00Z","timestamp":1574726400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002923","name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","doi-asserted-by":"publisher","award":["PIP 11220150100412CO"],"award-info":[{"award-number":["PIP 11220150100412CO"]}],"id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010665","name":"H2020 Marie Sk\u0142odowska-Curie Actions","doi-asserted-by":"publisher","award":["689176"],"award-info":[{"award-number":["689176"]}],"id":[{"id":"10.13039\/100010665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2020,1]]},"DOI":"10.1007\/s00500-019-04536-9","type":"journal-article","created":{"date-parts":[[2019,11,26]],"date-time":"2019-11-26T11:03:08Z","timestamp":1574766188000},"page":"813-823","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Algebraic semantics of the $$\\left\\{ \\rightarrow ,\\square \\right\\} $$-fragment of Propositional Lax Logic"],"prefix":"10.1007","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2542-4128","authenticated-orcid":false,"given":"Sergio A.","family":"Celani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniela","family":"Montangie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,11,26]]},"reference":[{"key":"4536_CR1","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.apal.2007.04.001","volume":"147","author":"G Bezhanishvili","year":"2007","unstructured":"Bezhanishvili G, Ghilardi S (2007) An algebraic approach to subframe logics. Intuitionistic case. Anna Pure Appl Logic 147:84\u2013100","journal-title":"Anna Pure Appl Logic"},{"key":"4536_CR2","first-page":"29","volume":"2","author":"D Busneag","year":"1985","unstructured":"Busneag D (1985) A note of deductive system of a Hilbert algebras. Kobe J Math 2:29\u201335","journal-title":"Kobe J Math"},{"issue":"1","key":"4536_CR3","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1155\/S0161171202011134","volume":"29","author":"SA Celani","year":"2002","unstructured":"Celani SA (2002) A note on homomorphism of Hilbert algebras. Int J Math Math Sci 29(1):55\u201361","journal-title":"Int J Math Math Sci"},{"key":"4536_CR4","doi-asserted-by":"publisher","first-page":"561","DOI":"10.2478\/BF02475182","volume":"4","author":"SA Celani","year":"2003","unstructured":"Celani SA (2003) Representation of Hilbert algebras and implicative semilattices. Cent Eur Math J 4:561\u2013571","journal-title":"Cent Eur Math J"},{"key":"4536_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/IJMMS\/2006\/21835","volume":"2006","author":"Sergio Arturo Celani","year":"2006","unstructured":"Celani SA (2006) Simple and subdirectly irreducibles bounded distributive lattices with unary operators. Int J Math Math Sci vol. 2006, Article ID 21835, p 20. https:\/\/doi.org\/10.1155\/IJMMS\/2006\/21835","journal-title":"International Journal of Mathematics and Mathematical Sciences"},{"issue":"3","key":"4536_CR6","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s00012-012-0178-z","volume":"67","author":"SA Celani","year":"2012","unstructured":"Celani SA, Montangie D (2012) Hilbert Algebras with supremum. Algebra Univ 67(3):237\u2013255","journal-title":"Algebra Univ"},{"key":"4536_CR7","first-page":"47","volume":"49","author":"SA Celani","year":"2014","unstructured":"Celani SA, Montangie D (2014) Hilbert Algebras with a necessity modal operator. Rep Math Logic 49:47\u201377","journal-title":"Rep Math Logic"},{"issue":"3","key":"4536_CR8","doi-asserted-by":"publisher","first-page":"463","DOI":"10.2478\/s11533-009-0032-5","volume":"7","author":"SA Celani","year":"2009","unstructured":"Celani SA, Cabrer LM, Montangie D (2009) Topological duality for Hilbert algebras. Cent Eur J Math 7(3):463\u2013478","journal-title":"Cent Eur J Math"},{"key":"4536_CR9","volume-title":"Semilattice structures, volume 30 of research and exposition in mathematics","author":"I Chajda","year":"2007","unstructured":"Chajda I, Hala\u0161 R, K\u00fchr J (2007) Semilattice structures, volume 30 of research and exposition in mathematics. Heldermann Verlag, Lemgo"},{"key":"4536_CR10","doi-asserted-by":"crossref","unstructured":"Chagrov A, Zakharyaschev M (1997) Modal logic. In: Oxford Logic Guides, vol. 35. Clarendon Press, Oxford","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"4536_CR11","first-page":"152","volume":"15\/4","author":"J C\u012brulis","year":"1986","unstructured":"C\u012brulis J (1986) Multipliers in implicative algebras. Bull Sect Logic 15\/4:152\u2013157","journal-title":"Bull Sect Logic"},{"key":"4536_CR12","unstructured":"Diego A (1966) Sur les alg\u00e8bres de Hilbert. Coll\u00e9ction de Logique Math\u00e8matique, serie A, 21, Gouthier-Villars, Paris"},{"key":"4536_CR13","first-page":"39","volume":"1","author":"K Dosen","year":"1983","unstructured":"Dosen K (1983) Models for stronger normal intuitionistic modal logics. Studia Logica XLIV 1:39\u201370","journal-title":"Studia Logica XLIV"},{"key":"4536_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1997.2627","volume":"137","author":"M Fairtlough","year":"1997","unstructured":"Fairtlough M, Mendler M (1997) Propositional lax logic. Inf Comput 137:1\u201333","journal-title":"Inf Comput"},{"issue":"31\u201335","key":"4536_CR15","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1002\/malq.19810273104","volume":"27","author":"R Goldblatt","year":"1981","unstructured":"Goldblatt R (1981) Grothendieck topology as geometric modality. Math Logic Q 27(31\u201335):495\u2013529","journal-title":"Math Logic Q"},{"issue":"6","key":"4536_CR16","doi-asserted-by":"publisher","first-page":"1035","DOI":"10.1093\/logcom\/exq029","volume":"21","author":"R Goldblatt","year":"2010","unstructured":"Goldblatt R (2010) Cover semantics for quantified lax logic. J Logic Comput 21(6):1035\u20131063","journal-title":"J Logic Comput"},{"key":"4536_CR17","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1002\/malq.19810272306","volume":"27","author":"R Kirk","year":"1981","unstructured":"Kirk R (1981) A complete semantics for implicational logics. Zeitschr. f. math. Logik und Grundlagen d. Math. 27:381\u2013383","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"key":"4536_CR18","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF02483860","volume":"12","author":"DS Macnab","year":"1981","unstructured":"Macnab DS (1981) Modal operators on Heyting algebras. Algebra Univ 12:5\u201329","journal-title":"Algebra Univ"},{"key":"4536_CR19","unstructured":"Monteiro A (1980) Sur les alg\u00e8bres de Heyting sym\u00e9triques. Portugaliae Mathematica 39, fasc. 1-4.3"},{"key":"4536_CR20","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1090\/S0002-9947-1965-0176944-9","volume":"117","author":"WC Nemitz","year":"1965","unstructured":"Nemitz WC (1965) Implicative semi-lattices. Trans Am Math Soc 117:128\u2013142","journal-title":"Trans Am Math Soc"},{"key":"4536_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-0154-6","volume-title":"Frames and locales: topology without points (frontiers in mathematics)","author":"J Picado","year":"2012","unstructured":"Picado J, Pultr A (2012) Frames and locales: topology without points (frontiers in mathematics). Birkh\u00e4user, Basel"},{"key":"4536_CR22","doi-asserted-by":"publisher","first-page":"31","DOI":"10.2307\/2269765","volume":"29","author":"AN Prior","year":"1964","unstructured":"Prior AN (1964) Two additions to positive implication. J Symb Logic 29:31\u201332","journal-title":"J Symb Logic"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-019-04536-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-019-04536-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-019-04536-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,27]],"date-time":"2024-07-27T19:04:16Z","timestamp":1722107056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-019-04536-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,26]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,1]]}},"alternative-id":["4536"],"URL":"https:\/\/doi.org\/10.1007\/s00500-019-04536-9","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2019,11,26]]},"assertion":[{"value":"26 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}