{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:17:57Z","timestamp":1759033077268},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"13","license":[{"start":{"date-parts":[[2018,8,1]],"date-time":"2018-08-01T00:00:00Z","timestamp":1533081600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.1007\/s00500-018-3426-0","type":"journal-article","created":{"date-parts":[[2018,8,1]],"date-time":"2018-08-01T11:35:23Z","timestamp":1533123323000},"page":"4633-4641","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Variations of the free implicative semilattice extension of a Hilbert algebra"],"prefix":"10.1007","volume":"23","author":[{"given":"Jos\u00e9 L.","family":"Castiglioni","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Hern\u00e1n J.","family":"San\u00a0Mart\u00edn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,1]]},"reference":[{"key":"3426_CR1","volume-title":"Distributive lattices","author":"R Balbes","year":"1974","unstructured":"Balbes R, Dwinger P (1974) Distributive lattices. University of Missouri Press, Columbia"},{"key":"3426_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A course in universal algebra","author":"H Burris","year":"1981","unstructured":"Burris H, Sankappanavar HP (1981) A course in universal algebra. Springer, New York"},{"key":"3426_CR3","first-page":"29","volume":"2","author":"D Bu\u015fneag","year":"1985","unstructured":"Bu\u015fneag D (1985) A note on deductive systems of a Hilbert algebra. Kobe J Math 2:29\u201335","journal-title":"Kobe J Math"},{"key":"3426_CR4","unstructured":"Bu\u015fneag D, Ghi\u0163\u01ce M (2010) Some latticial properties of Hilbert algebras. Bull Math Soc Sci Math 53(101) No. 2:87\u2013107"},{"issue":"3","key":"3426_CR5","doi-asserted-by":"publisher","first-page":"463","DOI":"10.2478\/s11533-009-0032-5","volume":"7","author":"LM Cabrer","year":"2009","unstructured":"Cabrer LM, Celani SA, Montangie D (2009) Representation and duality for Hilbert algebras. Cent Eur J Math 7(3):463\u2013478","journal-title":"Cent Eur J Math"},{"issue":"1","key":"3426_CR6","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"},{"issue":"3","key":"3426_CR7","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1002\/malq.201020098","volume":"58","author":"SA Celani","year":"2012","unstructured":"Celani SA, Jansana R (2012) On the free implicative semilattice extension of a Hilbert algebra. Math Log Q 58(3):188\u2013207","journal-title":"Math Log Q"},{"issue":"3","key":"3426_CR8","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 Universalis 67(3):237\u2013255","journal-title":"Algebra Universalis"},{"issue":"3","key":"3426_CR9","first-page":"407","volume":"43","author":"I Chajda","year":"2002","unstructured":"Chajda I, Halas R, Jun YB (2002) Annihilators and deductive systems in commutative Hilbert algebras. Comment Math Univ Carol 43(3):407\u2013417","journal-title":"Comment Math Univ Carol"},{"key":"3426_CR10","volume-title":"Foundations of mathematical logic","author":"HB Curry","year":"1963","unstructured":"Curry HB (1963) Foundations of mathematical logic. McGraw-Hill, New York"},{"key":"3426_CR11","unstructured":"Diego A (1965) Sobre Algebras de Hilbert. Notas de L\u00f3gica Matem\u00e1tica. Instituto de Matem\u00e1tica, Universidad Nacional del Sur, Bah\u00eda Blanca"},{"key":"3426_CR12","doi-asserted-by":"publisher","first-page":"1502","DOI":"10.1016\/j.apal.2010.05.003","volume":"161","author":"M Gehrke","year":"2010","unstructured":"Gehrke M, Jansana R, Palmigiano A (2010) Canonical extensions for congruential logics with the deduction theorem. Ann Pure Appl Log 161:1502\u20131519","journal-title":"Ann Pure Appl Log"},{"key":"3426_CR13","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s11083-011-9226-0","volume":"30","author":"M Gehrke","year":"2013","unstructured":"Gehrke M, Jansana R, Palmigiano A (2013) \n                    \n                      \n                    \n                    $$\\Delta_{1}$$\n                    \n                      \n                        \n                          \u0394\n                          1\n                        \n                      \n                    \n                  -completions of a poset. Order 30:39\u201364","journal-title":"Order"},{"key":"3426_CR14","unstructured":"Gonz\u00e1lez LJ (2018) Completely distributive \n                    \n                      \n                    \n                    $$\\Delta _1$$\n                    \n                      \n                        \n                          \u0394\n                          1\n                        \n                      \n                    \n                  -completion of posets, preprint"},{"key":"3426_CR15","doi-asserted-by":"publisher","first-page":"391","DOI":"10.2307\/2964545","volume":"27","author":"A Horn","year":"1962","unstructured":"Horn A (1962) The separation theorem of intuitionistic propositional calculus. J Symb Log 27:391\u2013399","journal-title":"J Symb Log"},{"key":"3426_CR16","first-page":"1","volume":"39","author":"A Monteiro","year":"1980","unstructured":"Monteiro A (1980) Sur les alg\u00e8bres de Heyting sym\u00e8triques. Port Math 39:1\u2013237","journal-title":"Port Math"},{"key":"3426_CR17","doi-asserted-by":"crossref","unstructured":"Moraschini T (2018) A logical and algebraic characterization of adjunctions between generalized quasi-varieties. J Symb Log (to appear)","DOI":"10.1017\/jsl.2018.47"},{"key":"3426_CR18","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1090\/S0002-9947-1965-0176944-9","volume":"117","author":"W Nemitz","year":"1965","unstructured":"Nemitz W (1965) Implicative semi-lattices. Trans Am Math Soc 117:128\u2013142","journal-title":"Trans Am Math Soc"},{"key":"3426_CR19","unstructured":"Rasiowa H (1974) An algebraic approach to non-classical logics. In: Studies in logic and the foundations of mathematics, vol 78. North-Holland and PNN"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-018-3426-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-018-3426-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-018-3426-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,31]],"date-time":"2019-07-31T20:39:01Z","timestamp":1564605541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-018-3426-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,1]]},"references-count":19,"journal-issue":{"issue":"13","published-print":{"date-parts":[[2019,7]]}},"alternative-id":["3426"],"URL":"https:\/\/doi.org\/10.1007\/s00500-018-3426-0","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,8,1]]},"assertion":[{"value":"1 August 2018","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":"Both authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with animals or humans performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Human and animal rights"}}]}}