{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:16:11Z","timestamp":1759032971175,"version":"3.37.3"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T00:00:00Z","timestamp":1506988800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002923","name":"CONICET","doi-asserted-by":"crossref","award":["PIP 112-201101-00636"],"award-info":[{"award-number":["PIP 112-201101-00636"]}],"id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s11225-017-9759-3","type":"journal-article","created":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T05:18:43Z","timestamp":1507007923000},"page":"675-690","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["l-Hemi-Implicative Semilattices"],"prefix":"10.1007","volume":"106","author":[{"given":"Jos\u00e9 Luis","family":"Castiglioni","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Hern\u00e1n Javier","family":"San Mart\u00edn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,3]]},"reference":[{"key":"9759_CR1","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1002\/malq.19980440304","volume":"44","author":"M Ardeshir","year":"1998","unstructured":"Ardeshir, M., and W. Ruitenburg, Basic propositional calculus I, Mathematical Logic Quarterly 44: 317\u2013343, 1998.","journal-title":"Mathematical Logic Quarterly"},{"key":"9759_CR2","first-page":"87","volume":"53","author":"D Busneag","year":"2010","unstructured":"Busneag, D., and M. Ghita, Some latticial properties of Hilbert algebras, Bulletin Math\u00e9matique de la Soci\u00e9t\u00e9 des Sciences Math\u00e9matiques de Roumanie 53: 87\u2013107, 2010.","journal-title":"Bulletin Math\u00e9matique de la Soci\u00e9t\u00e9 des Sciences"},{"issue":"3","key":"9759_CR3","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1002\/malq.200410022","volume":"51","author":"SA Celani","year":"2005","unstructured":"Celani, S. A., and R. Jansana, Bounded distributive lattices with strict implication, Mathematical Logic Quarterly 51(3): 219\u2013246, 2005.","journal-title":"Mathematical Logic Quarterly"},{"issue":"4","key":"9759_CR4","first-page":"651","volume":"XLIV","author":"J C\u012brulis","year":"2011","unstructured":"C\u012brulis, J., Weak relative pseudocomplements in semilattices, Demostratio Mathematica XLIV(4): 651\u2013672, 2011.","journal-title":"Demostratio Mathematica"},{"issue":"5","key":"9759_CR5","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1007\/s00153-014-0380-0","volume":"53","author":"LC Ciungu","year":"2014","unstructured":"Ciungu, L. C., On pseudo equality algebras, Archive for Mathematical Logic 53(5): 561\u2013570, 2014.","journal-title":"Archive for Mathematical Logic"},{"key":"9759_CR6","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/s11225-014-9568-x","volume":"103","author":"JM Cornejo","year":"2015","unstructured":"Cornejo, J. M., On some semi-intuitionistic logics, Studia Logica 103: 303\u2013344, 2015.","journal-title":"Studia Logica"},{"key":"9759_CR7","volume-title":"Foundations of Mathematical Logic","author":"HB Curry","year":"1963","unstructured":"Curry, H. B., Foundations of Mathematical Logic. McGraw-Hill, New York, 1963."},{"issue":"6","key":"9759_CR8","doi-asserted-by":"crossref","first-page":"2091","DOI":"10.1007\/s00500-015-1888-x","volume":"20","author":"A Dvurecenskij","year":"2016","unstructured":"Dvurecenskij, A., and O. Zahir, Pseudo equality algebras: revision, Soft Computing 20(6): 2091\u20132101, 2016.","journal-title":"Soft Computing"},{"key":"9759_CR9","doi-asserted-by":"crossref","unstructured":"Figallo, A. V., G. Z. Ram\u00f3n, and S. Saad, A note on the Hilbert algebras with infimum, Matematica Contemporary 24: 23\u201337, 28th Workshop on Logic, Language, Informations and Computation, WoLLIC\u20192001, Brasilia, 2003.","DOI":"10.21711\/231766362003\/rmc242"},{"key":"9759_CR10","first-page":"109","volume":"46","author":"JM Font","year":"2011","unstructured":"Font, J. M., On semilattice-based logics with an algebraizable assertional companion, Reports on Mathematical Logic 46:\u00a0109\u2013132, 2011.","journal-title":"Reports on Mathematical Logic"},{"key":"9759_CR11","first-page":"839","volume":"20","author":"PM Idziak","year":"1984","unstructured":"Idziak, P. M., Lattice operations in BCK-algebras, Mathematica Japonica 20: 839\u2013846, 1984.","journal-title":"Mathematica Japonica"},{"key":"9759_CR12","doi-asserted-by":"crossref","first-page":"1201","DOI":"10.1007\/s11225-012-9457-0","volume":"100","author":"S Jenei","year":"2012","unstructured":"Jenei, S., Equality algebras, Studia Logica 100: 1201\u20131209, 2012.","journal-title":"Studia Logica"},{"issue":"3","key":"9759_CR13","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/s00153-013-0325-z","volume":"52","author":"S Jenei","year":"2013","unstructured":"Jenei, S., and L. K\u00f3r\u00f3di, Pseudo equality algebras, Archive for Mathematical Logic 52(3): 469\u2013481, 2013.","journal-title":"Archive for Mathematical Logic"},{"key":"9759_CR14","first-page":"251","volume":"48","author":"J Meng","year":"1998","unstructured":"Meng, J., Y. B. Jun, and S. M. Hong, Implicative semilattices are equivalent to positive implicative BCK-algebras with condition (S), Mathematica Japonicae 48: 251\u2013255, 1998.","journal-title":"Mathematica Japonicae"},{"key":"9759_CR15","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1090\/S0002-9947-1965-0176944-9","volume":"117","author":"W Nemitz","year":"1965","unstructured":"Nemitz, W., Implicative semi-lattices, Transactions of the American Mathematical Society 117: 128\u2013142, 1965.","journal-title":"Transactions of the American Mathematical Society"},{"key":"9759_CR16","unstructured":"Sankappanavar, H. P., Semi-Heyting algebras: an abstraction from Heyting algebras, in Proceedings of the 9th Congreso \u201cDr. Antonio A. R.\u201d, 33\u201366, Actas Congr. \u201cDr. Antonio A. R. Monteiro\u201d, Universidad Nacional del Sur, Bah\u00eda Blanca, Argentina, 2008."},{"issue":"1\u20132","key":"9759_CR17","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/s11225-011-9322-6","volume":"98","author":"HP Sankappanavar","year":"2011","unstructured":"Sankappanavar, H. P., Expansions of semi-heyting algebras I: discriminator varieties, Studia Logica 98 (1\u20132): 27\u201381, 2011.","journal-title":"Studia Logica"},{"issue":"2","key":"9759_CR18","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s00012-015-0317-4","volume":"73","author":"HJ San Mart\u00edn","year":"2015","unstructured":"San Mart\u00edn, H. J., Compatible operations on commutative weak residuated lattices, Algebra Universalis 73(2): 143\u2013155, 2015.","journal-title":"Algebra Universalis"},{"issue":"12","key":"9759_CR19","doi-asserted-by":"crossref","first-page":"3167","DOI":"10.1007\/s00500-016-2188-9","volume":"21","author":"HJ San Mart\u00edn","year":"2017","unstructured":"San Mart\u00edn, H. J., On congruences in weak implicative semi-lattices, Soft Computing 21(12): 3167\u20133176, 2017.","journal-title":"Soft Computing"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9759-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9759-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9759-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,3]],"date-time":"2022-08-03T21:35:06Z","timestamp":1659562506000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9759-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,3]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["9759"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9759-3","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2017,10,3]]}}}