{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:58:29Z","timestamp":1759147109506,"version":"3.43.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,5,1]],"date-time":"1997-05-01T00:00:00Z","timestamp":862444800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,5,1]],"date-time":"1997-05-01T00:00:00Z","timestamp":862444800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1997,5]]},"DOI":"10.1023\/a:1004978316495","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:24:14Z","timestamp":1040484254000},"page":"357-394","source":"Crossref","is-referenced-by-count":14,"title":["Characterization Classes Defined without Equality"],"prefix":"10.1007","volume":"58","author":[{"given":"R","family":"Elgueta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"136718_CR1","first-page":"78","volume":"396","author":"W. Blok","year":"1989","unstructured":"W. Blok and D. Pigozzi, 1989, Algebraizable logics, Memoirs of the AMS\n396, 78.","journal-title":"Memoirs of the AMS"},{"key":"136718_CR2","first-page":"1","volume-title":"Universal Algebra and quasigroups","author":"W. Blok","year":"1992","unstructured":"W. Blok and D. Pigozzi, 1992, Algebraic semantics for Universal Horn Logic without equality,in: in A. Romanowska, J.D. Smith (eds.), Universal Algebra and quasigroups, Heldermann Verlag Berlin, 1-56."},{"key":"136718_CR3","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A course in Universal Algebra","author":"S. Burris","year":"1981","unstructured":"S. Burris and H.P. Sankappanavar, 1981, A course in Universal Algebra, Graduate Texts in Mathematics, Vol. 78 Springer-Verlag New York."},{"key":"136718_CR4","series-title":"Studies in Logic and the Foundations of Mathemantics","volume-title":"Model Theory","author":"C.C. Chang","year":"1990","unstructured":"C.C. Chang and H.J. Keisler, 1990, Model Theory, (3rd edition), Studies in Logic and the Foundations of Mathemantics, Vol. 73, North-Holland Amsterdam.","edition":"3rd edition"},{"key":"136718_CR5","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BF00373095","volume":"39","author":"J. Czelakowski","year":"1980","unstructured":"J. Czelakowski, 1980, Reduced products of logical matrices, Studia Logica\n39, 19-43.","journal-title":"Studia Logica"},{"key":"136718_CR6","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/BF01371630","volume":"42","author":"J. Czelakowski","year":"1983","unstructured":"J. Czelakowski, 1983, Some theorems on structural entailment relations Studia Logica\n42, 417-430.","journal-title":"Studia Logica"},{"key":"136718_CR7","unstructured":"J. Czelakowski, 1994, Personal communication."},{"key":"136718_CR8","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF00373095","volume":"39","author":"J. Czelakowski","year":"1980","unstructured":"J. Czelakowski and W. Dziobiak, 1980, Another proof that ISPr is the least quasivariety containing K, Studia Logica\n39, 343-345.","journal-title":"Studia Logica"},{"key":"136718_CR9","unstructured":"R. Elgueta, 1994, Algebraic Model Theory for Languages without Equality, PhD Thesis."},{"key":"136718_CR10","unstructured":"R. Elgueta, 1995, An Approach to the Algebraic Study of Equality-free Classes, preprint (submitted to Algebra Universalis)."},{"key":"136718_CR11","unstructured":"R. Elgueta, 1996, Freeness in Classes Defined without Equality, preprint (submitted to JSL)."},{"key":"136718_CR12","unstructured":"R. Elgueta and R. Jansana, 1995, Definability of Leibniz Equality, preprint (submitted to JSL)."},{"key":"136718_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"G. Gr\u00c4tzer","year":"1979","unstructured":"G. Gr\u00c4tzer, 1979, Universal Algebra, (2nd edition), Springer-Verlag New York.","edition":"2nd edition"},{"key":"136718_CR14","doi-asserted-by":"crossref","first-page":"603","DOI":"10.4153\/CMB-1973-100-4","volume":"16","author":"G. Gr\u00c4tzer","year":"1973","unstructured":"G. Gr\u00c4tzer and H. Lasker,1973, A note on the implicational class generated by a class of structures, Canadian Math. Bull.\n16, 603-605.","journal-title":"Canadian Math. Bull."},{"key":"136718_CR15","series-title":"Collected Papers: 1936\u20131937, Studies in Logic and the Foundations of Mathematics","volume-title":"The metamathematics of algebraic systems","author":"A.I. Mal'cev","year":"1971","unstructured":"A.I. Mal'cev, 1971, The metamathematics of algebraic systems, Collected Papers: 1936\u20131937, Studies in Logic and the Foundations of Mathematics, Vol. 66, North-Holland, Amsterdam."},{"key":"136718_CR16","volume-title":"Die Grundlehren der Mathematischen Wissenschaften","author":"A.I. Mal'cev","year":"1973","unstructured":"A.I. Mal'cev, 1973, Algebraic Systems, Die Grundlehren der Mathematischen Wissenschaften, Band 152, Springer-Verlag Berlin."},{"key":"136718_CR17","series-title":"E.A.T.C.S. Monographs","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-76771-5","volume-title":"Universal Algebra for Computer Scientists","author":"W. Wechler","year":"1992","unstructured":"W. Wechler, 1992, Universal Algebra for Computer Scientists, E.A.T.C.S. Monographs, Vol. 25, Springer-Verlag, New York."},{"key":"136718_CR18","first-page":"45","volume":"2","author":"G. Zubieta","year":"1957","unstructured":"G. Zubieta, 1957, Clases aritm\u00e9ticas definidas sin igualdad, Bol. Soc. Mat. Mexicana\n2, 45-53.","journal-title":"Bol. Soc. Mat. Mexicana"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004978316495.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004978316495\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004978316495.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:29:45Z","timestamp":1754630985000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004978316495"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,5]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,5]]}},"alternative-id":["136718"],"URL":"https:\/\/doi.org\/10.1023\/a:1004978316495","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,5]]}}}