{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T20:43:31Z","timestamp":1649191411459},"reference-count":35,"publisher":"Wiley","issue":"6","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":3591,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["MLQ - Math. Log. Quart."],"published-print":{"date-parts":[[2005,11]]},"DOI":"10.1002\/malq.200310132","type":"journal-article","created":{"date-parts":[[2005,9,29]],"date-time":"2005-09-29T16:17:29Z","timestamp":1128010649000},"page":"570-578","source":"Crossref","is-referenced-by-count":0,"title":["Categorical abstract algebraic logic: Gentzen\u03c0 -institutions and the deduction-detachment property"],"prefix":"10.1002","volume":"51","author":[{"given":"George","family":"Voutsadakis","sequence":"first","affiliation":[]}],"member":"311","reference":[{"key":"10.1002\/malq.200310132-BIB1","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1023\/A:1024673906579","volume":"74","author":"Barbour","year":"2003","journal-title":"Studia Logica"},{"key":"10.1002\/malq.200310132-BIB2","author":"Barr","unstructured":"and , Category Theory for Computing Science, Third Edition (Les Publications CRM, Montr\u00e9al 1999)."},{"key":"10.1002\/malq.200310132-BIB3","author":"Blok","unstructured":"and , Algebraizable logics. Mem. Amer. Math. Soc. 396 (AMS, Providence 1989)."},{"key":"10.1002\/malq.200310132-BIB4","author":"Blok","unstructured":"and , Algebraic semantics for universal Horn logic without equality. In: Universal Algebra and Quasigroup Theory (A. Romanowska and J. D. H. Smith, eds.), pp. 1-56 (Heldermann Verlag, Berlin 1992)."},{"key":"10.1002\/malq.200310132-BIB5","author":"Blok","unstructured":"and , Abstract algebraic logic and the deduction theorem. To appear in the Bulletin of Symbolic Logic."},{"key":"10.1002\/malq.200310132-BIB6","author":"Borceux","unstructured":"Handbook of Categorical Algebra, vol. I. Encyclopedia of Mathematics and its Applications (Cambridge University Press, Cambridge 1994)."},{"key":"10.1002\/malq.200310132-BIB7","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/BF00403332","volume":"41","author":"Czelakowski","year":"1982","journal-title":"Studia Logica"},{"key":"10.1002\/malq.200310132-BIB8","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BF00394446","volume":"44","author":"Czelakowski","year":"1985","journal-title":"Studia Logica"},{"key":"10.1002\/malq.200310132-BIB9","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF00370271","volume":"45","author":"Czelakowski","year":"1986","journal-title":"Studia Logica"},{"key":"10.1002\/malq.200310132-BIB10","author":"Fiadeiro","unstructured":"and , Structuring theories on consequence. In: Recent Trends in Data Type Specification (D. Sannella and A. Tarlecki, eds.). Lecture Notes in Computer Science 332, pp. 44-72 (Springer-Verlag, New York 1988)."},{"key":"10.1002\/malq.200310132-BIB11","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1093\/jigpal\/2.1.55","volume":"2","author":"Font","year":"1994","journal-title":"Bulletin of the IGPL"},{"key":"10.1002\/malq.200310132-BIB12","author":"Font","unstructured":"and , A General Algebraic Semantics for Sentential Logics. Lecture Notes in Logic 7 (Springer-Verlag, Berlin et al. 1996)."},{"key":"10.1002\/malq.200310132-BIB13","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1023\/A:1024621922509","volume":"74","author":"Font","year":"2003","journal-title":"Studia Logica"},{"key":"10.1002\/malq.200310132-BIB14","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1023\/A:1005243108996","volume":"65","author":"Gil","year":"2000","journal-title":"Studia Logica"},{"key":"10.1002\/malq.200310132-BIB15","author":"Goguen","unstructured":"and , Introducing institutions. In: Proceedings of the Logic of Programming Workshop (E. Clarke and D. Kozen, eds.). Lecture Notes in Computer Science 164, pp. 221-256 (Springer-Verlag, New York 1984)."},{"key":"10.1002\/malq.200310132-BIB16","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"Goguen","year":"1992","journal-title":"Journal of the Association for Computing Machinery"},{"key":"10.1002\/malq.200310132-BIB17","author":"Goguen","unstructured":"and , An introduction to category-based equational logic. In: AMAST 1995, Lecture Notes in Computer Science 936, pp. 91-126 (Springer-Verlag, Heidelberg 1995)."},{"key":"10.1002\/malq.200310132-BIB18","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/s001650200013","volume":"13","author":"Goguen","year":"2002","journal-title":"Formal Aspects of Computing"},{"key":"10.1002\/malq.200310132-BIB19","author":"Herrmann","unstructured":"Equivalential logics and definability of truth. Dissertation, Freie Universit\u00e4t Berlin, Berlin 1993."},{"key":"10.1002\/malq.200310132-BIB20","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/BF00370843","volume":"57","author":"Herrmann","year":"1996","journal-title":"Studia Logica"},{"key":"10.1002\/malq.200310132-BIB21","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1023\/A:1004979825733","volume":"58","author":"Herrmann","year":"1997","journal-title":"Studia Logica"},{"key":"10.1002\/malq.200310132-BIB22","author":"Mac Lane","unstructured":"Category Theory for the Working Mathematician (Springer-Verlag, New York 1971)."},{"key":"10.1002\/malq.200310132-BIB23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0168-0072(98)00058-X","volume":"98","author":"Pynko","year":"1999","journal-title":"Ann. Pure Applied Logic"},{"key":"10.1002\/malq.200310132-BIB24","doi-asserted-by":"crossref","first-page":"319","DOI":"10.3233\/FI-1993-182-417","volume":"18","author":"Rebagliato","year":"1993","journal-title":"Fundamenta Informatica"},{"key":"10.1002\/malq.200310132-BIB25","author":"Rebagliato","unstructured":"and , Algebraizable Gentzen systems and the deduction theorem for Gentzen systems. Mathematics Preprint Series 175, University of Barcelona, 1995."},{"key":"10.1002\/malq.200310132-BIB26","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1017\/S0960129501003474","volume":"12","author":"Ro\u015fu","year":"2002","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1002\/malq.200310132-BIB27","author":"Tarlecki","unstructured":"Bits and pieces of the theory of institutions. In: Category Theory and Computer Programming. Lecture Notes in Computer Science 240, pp. 334-363 (1986)."},{"key":"10.1002\/malq.200310132-BIB28","author":"Voutsadakis","unstructured":"Categorical abstract algebraic logic. Doctoral Dissertation, Iowa State University, 1998."},{"key":"10.1002\/malq.200310132-BIB29","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1023\/A:1024682108396","volume":"74","author":"Voutsadakis","year":"2003","journal-title":"Studia Logica"},{"key":"10.1002\/malq.200310132-BIB30","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1023\/A:1020990419514","volume":"10","author":"Voutsadakis","year":"2002","journal-title":"Applied Categorical Structures"},{"key":"10.1002\/malq.200310132-BIB31","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1023\/A:1025167200338","volume":"74","author":"Voutsadakis","year":"2003","journal-title":"Studia Logica"},{"key":"10.1002\/malq.200310132-BIB32","first-page":"215","volume":"8","author":"Voutsadakis","year":"2003","journal-title":"Scientiae Mathematicae Japonicae"},{"key":"10.1002\/malq.200310132-BIB33","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1093\/jigpal\/12.4.313","volume":"12","author":"Voutsadakis","year":"2004","journal-title":"Logic Journal of the IGPL"},{"key":"10.1002\/malq.200310132-BIB34","first-page":"47","volume":"10","author":"Voutsadakis","year":"2004","journal-title":"Scientiae Mathematicae Japonicae"},{"key":"10.1002\/malq.200310132-BIB35","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/s00153-004-0266-7","volume":"44","author":"Voutsadakis","year":"2005","journal-title":"Archive Math. Logic"}],"container-title":["MLQ"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200310132","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/malq.200310132","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T04:46:20Z","timestamp":1626583580000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.200310132"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11]]},"references-count":35,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2005,11]]}},"URL":"https:\/\/doi.org\/10.1002\/malq.200310132","relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,11]]}}}