{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T14:36:27Z","timestamp":1700058987698},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2006,10,25]],"date-time":"2006-10-25T00:00:00Z","timestamp":1161734400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2006,11,15]]},"DOI":"10.1007\/s10485-006-9030-y","type":"journal-article","created":{"date-parts":[[2006,10,24]],"date-time":"2006-10-24T13:18:50Z","timestamp":1161695930000},"page":"357-376","source":"Crossref","is-referenced-by-count":2,"title":["Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems"],"prefix":"10.1007","volume":"14","author":[{"given":"George","family":"Voutsadakis","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,10,25]]},"reference":[{"key":"9030_CR1","volume-title":"Category Theory for Computing Science","author":"M. Barr","year":"1999","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Science, 3rd edn. Les Publications CRM, Montr\u00e9al (1999)","edition":"3"},{"key":"9030_CR2","doi-asserted-by":"crossref","unstructured":"Blok, W.J., Pigozzi, D.: Algebraizable logics. Mem. Amer. Math. Soc. 77(396), (1989)","DOI":"10.1090\/memo\/0396"},{"key":"9030_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02314419","volume":"34","author":"S.L. Bloom","year":"1975","unstructured":"Bloom, S.L.: Some theorems on structural consequence operations. Studia Logica 34, 1\u20139 (1975)","journal-title":"Studia Logica"},{"key":"9030_CR4","volume-title":"Handbook of Categorical Algebra. Encyclopedia of Math. Appl. vol. 50","author":"F. Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of Categorical Algebra. Encyclopedia of Math. Appl. vol. 50. Cambridge University Press, Cambridge, UK (1994)"},{"key":"9030_CR5","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":"Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, Berlin Heidelberg New York (1981)"},{"issue":"3","key":"9030_CR6","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1305\/ndjfl\/1039886524","volume":"37","author":"E. Casanovas","year":"1996","unstructured":"Casanovas, E., Dellunde, P., Jansana, R.: On elementary equivalence for equality-free logic. Notre Dame J. Formal Logic 37(3), 506\u2013522 (1996)","journal-title":"Notre Dame J. Formal Logic"},{"key":"9030_CR7","volume-title":"Model Theory","author":"C.C. Chang","year":"1990","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. Elsevier, Amsterdam (1990)"},{"key":"9030_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2807-2","volume-title":"Protoalgebraic Logics","author":"J. Czelakowski","year":"2001","unstructured":"Czelakowski, J.: Protoalgebraic Logics. Kluwer, Dordtrecht (2001)"},{"key":"9030_CR9","first-page":"19","volume":"65","author":"J. Czelakowski","year":"1999","unstructured":"Czelakowski, J., Elgueta, R.: Local characterization theorems for some classes of structures. Acta Sci. Math. 65, 19\u201332 (1999)","journal-title":"Acta Sci. Math."},{"issue":"6","key":"9030_CR10","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1093\/jigpal\/7.6.717","volume":"7","author":"P. Dellunde","year":"1999","unstructured":"Dellunde, P.: Equality-free logic: the method of diagrams and preservation theorems. Log. J. IGPL 7(6), 717\u2013732 (1999)","journal-title":"Log. J. IGPL"},{"key":"9030_CR11","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1023\/A:1005237627378","volume":"64","author":"P. Dellunde","year":"2000","unstructured":"Dellunde, P.: On definability of the equality in classes of algebras with an equivalence relation. Studia Logica 64, 345\u2013353 (2000)","journal-title":"Studia Logica"},{"key":"9030_CR12","doi-asserted-by":"crossref","first-page":"1242","DOI":"10.2307\/2275814","volume":"61","author":"P. Dellunde","year":"1996","unstructured":"Dellunde, P., Jansana, R.: Some characterization theorems for infinitary universal horn logic without equality. J. Symbolic Logic 61, 1242\u20131260 (1996)","journal-title":"J. Symbolic Logic"},{"key":"9030_CR13","volume-title":"Basic Model Theory","author":"K. Doets","year":"1996","unstructured":"Doets, K.: Basic Model Theory. CSLI Publications, Stanford, California (1996)"},{"key":"9030_CR14","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1023\/A:1004978316495","volume":"58","author":"R. Elgueta","year":"1997","unstructured":"Elgueta, R.: Characterizing classes defined without equality. Studia Logica 58, 357\u2013394 (1997)","journal-title":"Studia Logica"},{"key":"9030_CR15","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/s000120050090","volume":"40","author":"R. Elgueta","year":"1998","unstructured":"Elgueta, R.: Subdirect representation theory for classes without equality. Algebra Universalis 40, 201\u2013246 (1998)","journal-title":"Algebra Universalis"},{"key":"9030_CR16","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1002\/malq.19990450309","volume":"45","author":"R. Elgueta","year":"1999","unstructured":"Elgueta, R.: Algebraic characterizations for universal fragments of logic. Math. Logic Quart. 45, 385\u2013398 (1999)","journal-title":"Math. Logic Quart."},{"issue":"3","key":"9030_CR17","doi-asserted-by":"crossref","first-page":"1159","DOI":"10.2307\/2586624","volume":"64","author":"R. Elgueta","year":"1999","unstructured":"Elgueta, R.: Freeness in classes without equality. J. Symbolic Logic 64(3), 1159\u20131194 (1999)","journal-title":"J. Symbolic Logic"},{"key":"9030_CR18","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1023\/A:1005214714620","volume":"63","author":"R. Elgueta","year":"1999","unstructured":"Elgueta, R., Jansana, R.: Definability of Leibniz equality. Studia Logica 63, 223\u2013243 (1999)","journal-title":"Studia Logica"},{"key":"9030_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21591-3","volume-title":"A General Algebraic Semantics for Sentential Logics. Lecture Notes Logic, vol.7","author":"J.M. Font","year":"1996","unstructured":"Font, J.M., Jansana, R.: A General Algebraic Semantics for Sentential Logics. Lecture Notes Logic, vol. 7. Springer, Berlin Heidelberg New York (1996)"},{"issue":"1\/2","key":"9030_CR20","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1023\/A:1024621922509","volume":"74","author":"J.M. Font","year":"2003","unstructured":"Font, J.M., Jansana, R., Pigozzi, D.: A survey of abstract algebraic logic. Studia Logica 74(1\/2), 13\u201397 (2003)","journal-title":"Studia Logica"},{"key":"9030_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511551574","volume-title":"Model Theory","author":"W. Hodges","year":"1993","unstructured":"Hodges, W.: Model Theory. Cambridge University Press, UK (1993)"},{"key":"9030_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Springer, Berlin Heidelberg New York (1971)"},{"key":"9030_CR23","volume-title":"Model Theory: An Introduction","author":"D. Marker","year":"2002","unstructured":"Marker, D.: Model Theory: An Introduction. Springer, Berlin Heidelberg New York (2002)"},{"key":"9030_CR24","volume-title":"Algebras, Lattices, Varieties, vol. I","author":"R.N. McKenzie","year":"1987","unstructured":"McKenzie, R.N., McNulty, G.F., Taylor, W.F.: Algebras, Lattices, Varieties, vol. I. Wadsworth & Brooks\/Cole, Monterey, California (1987)"},{"key":"9030_CR25","unstructured":"Pigozzi, D.: Partially Ordered Varieties and QuasiVarieties. (2004) Preprint available at http:\/\/www.math.iastate.edu\/dpigozzi\/"},{"key":"9030_CR26","unstructured":"Voutsadakis, G.: Categorical abstract algebraic logic: tarski congruence systems, logical morphisms and logical quotients. Submitted to the Ann. Pure Appl. Logic. Preprint available at http:\/\/www.voutsadakis.com\/RESEARCH\/papers.html"},{"issue":"4","key":"9030_CR27","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1305\/ndjfl\/1134397662","volume":"46","author":"G. Voutsadakis","year":"2005","unstructured":"Voutsadakis, G.: Categorical abstract algebraic logic: models of \u03c0-institutions. Notre Dame J. Formal Logic 46(4), 439\u2013460 (2005)","journal-title":"Notre Dame J. Formal Logic"},{"issue":"3","key":"9030_CR28","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/s10485-005-5797-5","volume":"13","author":"G. Voutsadakis","year":"2005","unstructured":"Voutsadakis, G.: Categorical abstract algebraic logic: $(\\mathcal{I},N)$ -algebraic systems. Appl. Categ. Structures 13(3), 265\u2013280 (2005)","journal-title":"Appl. Categ. Structures"},{"key":"9030_CR29","unstructured":"Voutsadakis, G.: Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity. To appear in Studia Logica Preprint available at http:\/\/www.voutsadakis.com\/RESEARCH\/papers.html"},{"issue":"1","key":"9030_CR30","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/s10485-005-9006-3","volume":"14","author":"G. Voutsadakis","year":"2006","unstructured":"Voutsadakis, G.: Categorical abstract algebraic logic: partially ordered algebraic systems. Appl. Categ. Structures 14(1), 81\u201398 (2006)","journal-title":"Appl. Categ. Structures"},{"key":"9030_CR31","unstructured":"Voutsadakis, G.: Categorical abstract algebraic logic: structure systems and \u0142os\u2019 theorem. To appear in the Far East J. Math. Sci. Preprint available at http:\/\/www.voutsadakis.com\/RESEARCH\/papers.html"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-006-9030-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-006-9030-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-006-9030-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:24:25Z","timestamp":1559139865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-006-9030-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,25]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2006,11,15]]}},"alternative-id":["9030"],"URL":"https:\/\/doi.org\/10.1007\/s10485-006-9030-y","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,10,25]]}}}