{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T14:36:22Z","timestamp":1700058982696},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,6,1]],"date-time":"2005-06-01T00:00:00Z","timestamp":1117584000000},"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":[[2005,6]]},"DOI":"10.1007\/s10485-005-5797-5","type":"journal-article","created":{"date-parts":[[2005,7,29]],"date-time":"2005-07-29T12:02:12Z","timestamp":1122638532000},"page":"265-280","source":"Crossref","is-referenced-by-count":11,"title":["Categorical Abstract Algebraic Logic: (\u2110,N)-Algebraic Systems"],"prefix":"10.1007","volume":"13","author":[{"given":"George","family":"Voutsadakis","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"15797_CR1","volume-title":"Category Theory for Computing Science","author":"M. Barr","year":"1999","unstructured":"Barr, M. and Wells, C.: Category Theory for Computing Science, 3rd edn, Les Publications CRM, Montr\u00e9al, 1999.","edition":"3"},{"key":"15797_CR2","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF00370269","volume":"45","author":"W. J. Blok","year":"1986","unstructured":"Blok, W. J. and Pigozzi, D.: Protoalgebraic logics, Studia Logica 45 (1986), 337\u2013369.","journal-title":"Studia Logica"},{"key":"15797_CR3","doi-asserted-by":"crossref","unstructured":"Blok, W. J. and Pigozzi, D.: Algebraizable logics, Mem. Amer. Math. Soc. 77(396) (1989).","DOI":"10.1090\/memo\/0396"},{"key":"15797_CR4","volume-title":"Universal Algebra and Quasigroup Theory","author":"W. J. Blok","year":"1992","unstructured":"Blok, W. J. and Pigozzi, D.: Algebraic semantics for universal Horn logic without equality, in A. Romanowska and J. D. H. Smith (eds.), Universal Algebra and Quasigroup Theory, Heldermann Verlag, Berlin, 1992."},{"key":"15797_CR5","series-title":"Encyclopedia Math. Appl.","volume-title":"Handbook of Categorical Algebra","author":"F. Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of Categorical Algebra, Encyclopedia Math. Appl. 50, Cambridge University Press, Cambridge, U.K., 1994."},{"key":"15797_CR6","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF02584057","volume":"40","author":"J. Czelakowski","year":"1981","unstructured":"Czelakowski, J.: Equivalential logics I, II, Studia Logica 40 (1981), 227\u2013236, 355\u2013372.","journal-title":"Studia Logica"},{"key":"15797_CR7","series-title":"Studia Logica Library","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, Studia Logica Library 10, Kluwer, Dordrecht, 2001."},{"issue":"4","key":"15797_CR8","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1016330812768","volume":"10","author":"R. Diaconescu","year":"2002","unstructured":"Diaconescu, R.: Grothendieck institutions, Appl. Categ. Structures 10(4) (2002), 383\u2013402.","journal-title":"Appl. Categ. Structures"},{"issue":"3\u20134","key":"15797_CR9","first-page":"321","volume":"55","author":"R. Diaconescu","year":"2002","unstructured":"Diaconescu, R.: Institution-independent ultraproducts, Fund. Inform. 55(3\u20134) (2002), 321\u2013348.","journal-title":"Fund. Inform."},{"issue":"1","key":"15797_CR10","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1023\/B:STUD.0000034185.62660.d6","volume":"77","author":"R. Diaconescu","year":"2004","unstructured":"Diaconescu, R.: An institution-independent proof of the Craig interpolation property, Studia Logica 77(1) (2004), 59\u201379.","journal-title":"Studia Logica"},{"key":"15797_CR11","series-title":"Lecture Notes in Comput. Sci.","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/3-540-50325-0_3","volume-title":"Recent Trends in Data Type Specification","author":"J. Fiadeiro","year":"1988","unstructured":"Fiadeiro, J. and Sernadas, A.: Structuring theories on consequence, in D. Sannella and A. Tarlecki (eds.), Recent Trends in Data Type Specification, Lecture Notes in Comput. Sci. 332, Springer-Verlag, New York, 1988, pp. 44\u201372."},{"key":"15797_CR12","series-title":"Lecture Notes in Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21591-3","volume-title":"A General Algebraic Semantics for Sentential Logics","author":"J. M. Font","year":"1996","unstructured":"Font, J. M. and Jansana, R.: A General Algebraic Semantics for Sentential Logics, Lecture Notes in Logic 7, Springer-Verlag, Berlin, 1996."},{"issue":"1\/2","key":"15797_CR13","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. and Pigozzi, D.: A survey of abstract algebraic logic, Studia Logica 74(1\/2) (2003), 13\u201397.","journal-title":"Studia Logica"},{"key":"15797_CR14","series-title":"Lecture Notes in Comput. Sci.","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/3-540-12896-4_366","volume-title":"Proceedings of the Logic of Programming Workshop","author":"J. A. Goguen","year":"1984","unstructured":"Goguen, J. A. and Burstall, R. M.: Introducing institutions, in E. Clarke and D. Kozen (eds.), Proceedings of the Logic of Programming Workshop, Lecture Notes in Comput. Sci. 164, Springer-Verlag, New York, 1984, pp. 221\u2013256."},{"issue":"1","key":"15797_CR15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"Goguen, J. A. and Burstall, R. M.: Institutions: Abstract model theory for specification and programming, J. Assoc. Comput. Mach. 39(1) (1992), 95\u2013146.","journal-title":"J. Assoc. Comput. Mach."},{"key":"15797_CR16","unstructured":"Herrmann, B.: Equivalential logics and definability of truth, Dissertation, Freie Universitat Berlin, Berlin, 1993."},{"key":"15797_CR17","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/BF00370843","volume":"57","author":"B. Herrmann","year":"1996","unstructured":"Herrmann, B.: Equivalential and algebraizable logics, Studia Logica 57 (1996), 419\u2013436.","journal-title":"Studia Logica"},{"key":"15797_CR18","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1023\/A:1004979825733","volume":"58","author":"B. Herrmann","year":"1997","unstructured":"Herrmann, B.: Characterizing equivalential and algebraizable logics by the Leibniz operator, Studia Logica 58 (1997), 305\u2013323.","journal-title":"Studia Logica"},{"key":"15797_CR19","doi-asserted-by":"crossref","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"15797_CR20","first-page":"30","volume":"3","author":"T. Prucnal","year":"1974","unstructured":"Prucnal, T. and Wro\u0144ski, A.: An algebraic characterization of the notion of structural completeness, Bull. of the Section of Logic 3 (1974), 30\u201333.","journal-title":"Bull. of the Section of Logic"},{"key":"15797_CR21","unstructured":"Voutsadakis, G.: Categorical abstract algebraic logic, Doctoral Dissertation, Iowa State University, Ames, Iowa, 1998."},{"issue":"6","key":"15797_CR22","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1023\/A:1020990419514","volume":"10","author":"G. Voutsadakis","year":"2002","unstructured":"Voutsadakis, G.: Categorical abstract algebraic logic: Algebraizable institutions, Appl. Categ. Structures 10(6) (2002), 531\u2013568.","journal-title":"Appl. Categ. Structures"},{"issue":"1\/2","key":"15797_CR23","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1023\/A:1024682108396","volume":"74","author":"G. Voutsadakis","year":"2003","unstructured":"Voutsadakis, G.: Categorical abstract algebraic logic: Equivalent institutions, Studia Logica 74(1\/2) (2003), 275\u2013311.","journal-title":"Studia Logica"},{"key":"15797_CR24","first-page":"215","volume":"8","author":"G. Voutsadakis","year":"2003","unstructured":"Voutsadakis, G.: A categorical construction of a variety of clone algebras, Sci. Math. Japon. 8 (2003), 215\u2013225.","journal-title":"Sci. Math. Japon."},{"key":"15797_CR25","first-page":"47","volume":"10","author":"G. Voutsadakis","year":"2004","unstructured":"Voutsadakis, G.: On the categorical algebras of first-order logic, Sci. Math. Japon. 10 (2004), 47\u201354.","journal-title":"Sci. Math. Japon."},{"issue":"4","key":"15797_CR26","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1093\/jigpal\/12.4.313","volume":"12","author":"G. Voutsadakis","year":"2004","unstructured":"Voutsadakis, G.: Categorical abstract algebraic logic: Categorical algebraization of equational logic, Logic J. IGPL 12(4) (2004), 313\u2013333.","journal-title":"Logic J. IGPL"},{"key":"15797_CR27","unstructured":"Voutsadakis, G.: Categorical abstract algebraic logic: Categorical algebraization of first-order logic without terms, To appear in the Arch. Math. Logic, Preprint available at http:\/\/pigozzi.lssu.edu\/WWW\/research\/papers.html"},{"key":"15797_CR28","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:\/\/pigozzi.lssu.edu\/WWW\/research\/papers.html"},{"key":"15797_CR29","unstructured":"Voutsadakis, G.: Categorical abstract algebraic logic: Models of \u03c0-institutions, To appear in the Notre Dame J. Formal Logic, Preprint available at http:\/\/pigozzi.lssu.edu\/WWW\/research\/papers.html"},{"key":"15797_CR30","unstructured":"Voutsadakis, G.: Categorical abstract algebraic logic: Generalized Tarski congruence systems, Submitted to Theory and Applications of Categories, Preprint available at http:\/\/pigozzi.lssu.edu\/WWW\/research\/papers.html"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-005-5797-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-005-5797-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-005-5797-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:24:24Z","timestamp":1559139864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-005-5797-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,6]]}},"alternative-id":["15797"],"URL":"https:\/\/doi.org\/10.1007\/s10485-005-5797-5","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,6]]}}}