{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:31:33Z","timestamp":1740123093221,"version":"3.37.3"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T00:00:00Z","timestamp":1657152000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T00:00:00Z","timestamp":1657152000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.1007\/s11225-022-10011-8","type":"journal-article","created":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T14:08:52Z","timestamp":1657202932000},"page":"1465-1491","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On Relative Principal Congruences in Term Quasivarieties"],"prefix":"10.1007","volume":"110","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9187-0970","authenticated-orcid":false,"given":"Hern\u00e1n Javier","family":"San Mart\u00edn","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,7,7]]},"reference":[{"key":"10011_CR1","volume-title":"and P","author":"R Balbes","year":"1974","unstructured":"Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, 1974."},{"key":"10011_CR2","doi-asserted-by":"crossref","unstructured":"Blok, W.J., and D. Pigozzi, Algebraizable Logics, Memoirs of the American Mathematical Society, vol. 77, no. 396, 1989.","DOI":"10.1090\/memo\/0396"},{"key":"10011_CR3","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BF01190766","volume":"33","author":"WJ Blok","year":"1995","unstructured":"Blok, W.J., and J.G. Raftery, On the variety of BCK-algebras and its subvarieties, Algebra Universalis 33: 68\u201390, 1995.","journal-title":"Algebra Universalis"},{"key":"10011_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S Burris","year":"1981","unstructured":"Burris, S., and H.P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, New York, 1981."},{"issue":"4","key":"10011_CR5","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.2307\/2694965","volume":"66","author":"X Caicedo","year":"2001","unstructured":"Caicedo, X., and R. Cignoli, An algebraic approach to intuitionistic connectives, The Journal of Symbolic Logic 66(4): 1620\u20131636, 2001.","journal-title":"The Journal of Symbolic Logic"},{"issue":"3","key":"10011_CR6","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/s11225-005-5170-6","volume":"78","author":"X Caicedo","year":"2004","unstructured":"Caicedo, X., Implicit connectives of algebraizable logics, Studia Logica 78(3): 155\u2013170, 2004.","journal-title":"Studia Logica"},{"key":"10011_CR7","doi-asserted-by":"publisher","first-page":"413","DOI":"10.3166\/jancl.18.413-425","volume":"18","author":"JL Castiglioni","year":"2008","unstructured":"Castiglioni, J.L., M. Menni, and M. Sagastume, Compatible operations on commutative residuated lattices, Journal of Applied Non-Classical Logics 18: 413\u2013425, 2008.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"10011_CR8","doi-asserted-by":"crossref","unstructured":"Castiglioni, J.L., and H.J. San Mart\u00edn, On frontal operators in Hilbert algebras, Logic Journal of the IGPL 23(2): 217\u2013234, 2015.","DOI":"10.1093\/jigpal\/jzu031"},{"key":"10011_CR9","doi-asserted-by":"crossref","unstructured":"Castiglioni, J.L., and H.J. San Mart\u00edn, l-hemi-implicative semilattices, Studia Logica 106(4): 675\u2013690, 2018.","DOI":"10.1007\/s11225-017-9759-3"},{"issue":"3","key":"10011_CR10","doi-asserted-by":"publisher","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"},{"key":"10011_CR11","volume-title":"Foundations of mathematical logic","author":"HB Curry","year":"1963","unstructured":"Curry, H.B., Foundations of mathematical logic, McGraw-Hill, New York, 1963."},{"key":"10011_CR12","volume-title":"Sobre Algebras de Hilbert","author":"A Diego","year":"1965","unstructured":"Diego, A., Sobre Algebras de Hilbert, Notas de L\u00f3gica Matem\u00e1tica, Instituto de Matem\u00e1tica, Universidad Nacional del Sur, Bah\u00eda Blanca, Argentina, 1965."},{"key":"10011_CR13","unstructured":"Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, Residuated lattices: an algebraic glimpse at substructural logics, vol. 151 of Studies in Logic and the Foundations of Mathematics, Elsevier, 2007."},{"key":"10011_CR14","volume-title":"Algebraic Theory of quasivarieties","author":"AV Gorbunov","year":"1998","unstructured":"Gorbunov, A.V., Algebraic Theory of quasivarieties, Plenum Publishing Co., New York, 1998."},{"key":"10011_CR15","doi-asserted-by":"crossref","unstructured":"Hart, J., L. Raftery, and C. Tsinakis, The structure of commutative residuated lattices, International Journal of Algebra and Computation 12(4): 509\u2013524, 2002.","DOI":"10.1142\/S0218196702001048"},{"key":"10011_CR16","doi-asserted-by":"crossref","unstructured":"Jansana, R., and H. J. San Mart\u00edn, On Kalman\u2019s functor for bounded hemi-implicative semilattices and hemi-implicative lattices, Logic Journal of the IGPL 26(1): 47\u201382, 2018.","DOI":"10.1093\/jigpal\/jzx052"},{"key":"10011_CR17","doi-asserted-by":"crossref","unstructured":"Kaarli, K., and A. F. Pixley, Polynomial completeness in algebraic systems, Chapman and Hall\/CRC, 2001.","DOI":"10.1201\/9781482285758"},{"key":"10011_CR18","doi-asserted-by":"crossref","unstructured":"Kondo, M., Filters on Commutative Residuated Lattices, in V.N. Huynh, Y. Nakamori, J. Lawry, and M. Inuiguchi, (eds.), Integrated Uncertainty Management and Applications, vol. 68 of Advances in Intelligent and Soft Computing, Springer, Berlin, Heidelberg, 2010.","DOI":"10.1007\/978-3-642-11960-6_32"},{"key":"10011_CR19","unstructured":"K\u00fchr, J., Pseudo BCK-algebras and related structures, Ph.D. thesis, Univerzita Palack\u00e9ho v Olomouci, 2007."},{"key":"10011_CR20","doi-asserted-by":"crossref","unstructured":"Lubomirsky, N., H.J. San Mart\u00edn, and W. Zuluaga, Relatively compatible operations in BCK-algebras and some related algebras, Logic Journal of the IGPL 25(3): 348\u2013364, 2017.","DOI":"10.1093\/jigpal\/jzx002"},{"key":"10011_CR21","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., Implicative semi-lattices, Transactions of the American Mathematical Society 117: 128\u2013142, 1965.","journal-title":"Transactions of the American Mathematical Society"},{"key":"10011_CR22","unstructured":"Sankappanavar, H.P., Semi-Heyting algebras: an abstraction from Heyting algebras, in Proceedings of the 9th Dr. Antonio A. R. Monteiro Congress, Actas Congr. Dr. Antonio A. R. Monteiro, Bah\u00eda Blanca, Univ. Nac. del Sur, Argentina, 2008, pp. 33\u201366."},{"key":"10011_CR23","doi-asserted-by":"crossref","unstructured":"San Mart\u00edn, H.J., Compatible operations in some subvarieties of the variety of weak Heyting algebras, in Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13), vol. 32 of Advances in Intelligent Systems Research, Atlantis Press, 2013, pp. 475\u2013480.","DOI":"10.2991\/eusflat.2013.72"},{"issue":"12","key":"10011_CR24","doi-asserted-by":"publisher","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"},{"issue":"4","key":"10011_CR25","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/s00012-016-0381-4","volume":"75","author":"HJ San Mart\u00edn","year":"2016","unstructured":"San Mart\u00edn, H.J., Principal congruences in weak Heyting algebras, Algebra Universalis 75(4): 405\u2013418, 2016.","journal-title":"Algebra Universalis"},{"key":"10011_CR26","first-page":"211","volume":"28","author":"A Wronski","year":"1983","unstructured":"Wronski, A., BCK-algebras do not form a variety, Mathematica Japonica 28: 211\u2013213, 1983.","journal-title":"Mathematica Japonica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-10011-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-022-10011-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-10011-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,25]],"date-time":"2022-11-25T21:07:29Z","timestamp":1669410449000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-022-10011-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,7]]},"references-count":26,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["10011"],"URL":"https:\/\/doi.org\/10.1007\/s11225-022-10011-8","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2022,7,7]]},"assertion":[{"value":"16 September 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 June 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 July 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}