{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T12:04:35Z","timestamp":1753358675104},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425540"},{"type":"electronic","value":"9783540448020"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44802-0_37","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T04:15:38Z","timestamp":1180671338000},"page":"528-538","source":"Crossref","is-referenced-by-count":6,"title":["Complete Categorical Equational Deduction"],"prefix":"10.1007","author":[{"given":"Grigore","family":"Ro\u015fu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,30]]},"reference":[{"key":"37_CR1","unstructured":"Hajnal Andr\u00e9ka and Istv\u00e1n N\u00e9meti. A general axiomatizability theorem formulated in terms of cone-injective subcategories. In B. Csakany, E. Fried, and E.T. Schmidt, editors, Universal Algebra, pages 13\u201335. North-Holland, 1981. Colloquia Mathematics Societas J\u00e1nos Bolyai, 29."},{"key":"37_CR2","first-page":"149","volume":"2","author":"B. Banaschewski","year":"1976","unstructured":"Bernhard Banaschewski and Horst Herrlich. Subcategories defined by implications. Houston Journal Mathematics, 2:149\u2013171, 1976.","journal-title":"Houston Journal Mathematics"},{"key":"37_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-10003-2_61","volume-title":"Automata, Languages and Programming, Seventh Colloquium","author":"J. Bergstra","year":"1980","unstructured":"Jan Bergstra and John Tucker. Characterization of computable data types by means of a finite equational specification method. In Jaco de Bakker and Jan van Leeuwen, editors, Automata, Languages and Programming, Seventh Colloquium, pages 76\u201390. Springer, 1980. Lecture Notes in Computer Science, Volume 81."},{"key":"37_CR4","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0305004100013463","volume":"31","author":"G. Birkhoff","year":"1935","unstructured":"Garrett Birkhoff. On the structure of abstract algebras. Proceedings of the Cambridge Philosophical Society, 31:433\u2013454, 1935.","journal-title":"Proceedings of the Cambridge Philosophical Society"},{"key":"37_CR5","doi-asserted-by":"crossref","unstructured":"Manuel Clavel, Steven Eker, Patrick Lincoln, and Jos\u00e9 Meseguer. Principles of Maude. In Jos\u00e9 Meseguer, editor, Proceedings, First International Workshop on Rewriting Logic and its Applications. Elsevier Science, 1996. Volume 4, Electronic Notes in Theoretical Computer Science.","DOI":"10.1016\/S1571-0661(04)00034-9"},{"key":"37_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/3-540-57163-9_12","volume-title":"Proceedings, 9th International Conference on Fundamentals of Computation Theory FCT\u201993","author":"V. C\u0103z\u0103nescu","year":"1993","unstructured":"Virgil C\u0103z\u0103nescu. Local equational logic. In Zoltan Esik, editor, Proceedings, 9th International Conference on Fundamentals of Computation Theory FCT\u201993, pages 162\u2013170. Springer-Verlag, 1993. Lecture Notes in Computer Science, Volume 710."},{"key":"37_CR7","unstructured":"R\u0103zvan Diaconescu. Category-based Semantics for Equational and Constraint Logic Programming. PhD thesis, University of Oxford, 1994."},{"key":"37_CR8","doi-asserted-by":"crossref","unstructured":"R\u0103zvan Diaconescu and Kokichi Futatsugi. CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. World Scientific, 1998. AMAST Series in Computing, volume 6.","DOI":"10.1142\/3831"},{"key":"37_CR9","doi-asserted-by":"crossref","unstructured":"Joseph Goguen, Kai Lin, and Grigore Ro\u015fu. Circular coinductive rewriting. In Proceedings, Automated Software Engineering\u2019 00, pages 123\u2013131. IEEE, 2000. (Grenoble, France).","DOI":"10.1109\/ASE.2000.873657"},{"key":"37_CR10","doi-asserted-by":"crossref","unstructured":"Joseph Goguen and Grant Malcolm. A hidden agenda. Theoretical Computer Science, 245(1):55\u2013101, August 2000. Also UCSD Dept. Computer Science &Eng. Technical Report CS97-538, May 1997.","DOI":"10.1016\/S0304-3975(99)00275-3"},{"issue":"3","key":"37_CR11","first-page":"307","volume":"11","author":"J. Goguen","year":"1985","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Completeness of many-sorted equational logic. Houston Journal of Mathematics, 11(3):307\u2013334, 1985. Preliminary versions have appeared in: SIGPLAN Notices, July 1981, Volume 16, Number 7, pages 24\u201337; SRI Computer Science Lab, Report CSL-135, May 1982; and Report CSLI-84-15, Center for the Study of Language and Information, Stanford University, September 1984.","journal-title":"Houston Journal of Mathematics"},{"issue":"2","key":"37_CR12","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. Goguen","year":"1992","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105(2):217\u2013273, 1992. Drafts exist from as early as 1985.","journal-title":"Theoretical Computer Science"},{"key":"37_CR13","doi-asserted-by":"crossref","unstructured":"Joseph Goguen, Timothy Winkler, Jos\u00e9 Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ. In Joseph Goguen and Grant Malcolm, editors, Software Engineering with OBJ: algebraic specification in action, pages 3\u2013167. Kluwer, 2000.","DOI":"10.1007\/978-1-4757-6541-0_1"},{"key":"37_CR14","first-page":"119","volume":"2","author":"A. Grothendieck","year":"1957","unstructured":"Alexandre Grothendieck. Sur quelques points d\u2019alg\u00e9bre homologique. T\u00f4hoku Mathematical Journal, 2:119\u2013221, 1957.","journal-title":"T\u00f4hoku Mathematical Journal"},{"key":"37_CR15","unstructured":"Horst Herrlich and George Strecker. Category Theory. Allyn and Bacon, 1973."},{"key":"37_CR16","first-page":"1","volume":"36","author":"J. R. Isbell","year":"1964","unstructured":"J. R. Isbell. Subobjects, adequacy, completeness and categories of algebras. Rozprawy Matematyczne, 36:1\u201333, 1964.","journal-title":"Rozprawy Matematyczne"},{"key":"37_CR17","doi-asserted-by":"crossref","unstructured":"Joachim Lambek. Completions of Categories. Springer-Verlag, 1966. Lecture Notes in Mathematics, Volume 24.","DOI":"10.1007\/BFb0077270"},{"key":"37_CR18","doi-asserted-by":"crossref","unstructured":"Saunders Mac Lane. Categories for the Working Mathematician. Springer, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"37_CR19","doi-asserted-by":"publisher","DOI":"10.1016\/S0079-8169(08)62512-X","volume-title":"Theory of categories","author":"B. Mitchell","year":"1965","unstructured":"B. Mitchell. Theory of categories. Academic Press, New York, 1965."},{"issue":"3","key":"37_CR20","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF01847919","volume":"13","author":"I. N\u00e9meti","year":"1982","unstructured":"Istv\u00e1n N\u00e9meti. On notions of factorization systems and their applications to cone-injective subcategories. Periodica Mathematica Hungarica, 13(3):229\u2013335, 1982.","journal-title":"Periodica Mathematica Hungarica"},{"key":"37_CR21","unstructured":"Istv\u00e1n N\u00e9meti and Ildick\u00f3 Sain. Cone-implicational subcategories and some Birkhoff-type theorems. In B. Csakany, E. Fried, and E.T. Schmidt, editors, Universal Algebra, pages 535\u2013578. North-Holland, 1981. Colloquia Mathematics Societas J\u00e1nos Bolyai, 29."},{"key":"37_CR22","first-page":"88","volume":"24","author":"Peter Padawitz","year":"1984","unstructured":"Peter Padawitz and Martin Wirsing. Completeness of many-sorted equational logic revisited. Bulletin of the European Association for Theoretical Computer Science, 24:88\u201394, October 1984.","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"37_CR23","doi-asserted-by":"crossref","unstructured":"H. Reichel. Initial Computability, Algebraic Specifications, and Partial Algebras. Oxford University Press, 1987.","DOI":"10.1515\/9783112573426"},{"key":"37_CR24","unstructured":"Grigore Ro\u015fu. Hidden Logic. PhD thesis, University of California at San Diego, 2000. http:\/\/ase.arc.nasa.gov\/grosu\/phd-thesis.ps ."},{"key":"37_CR25","unstructured":"Grigore Ro\u015fu. Axiomatizability in inclusive equational logics. Mathematical Structures in Computer Science, to appear. http:\/\/ase.arc.nasa.gov\/grosu\/iel.ps ."},{"issue":"1","key":"37_CR26","first-page":"194","volume":"6","author":"G. Ro\u015fu","year":"2000","unstructured":"Grigore Ro\u015fu and Joseph Goguen. On equational Craig interpolation. Journal of Universal Computer Science, 6(1):194\u2013200, 2000.","journal-title":"Journal of Universal Computer Science"},{"key":"37_CR27","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/BF01190411","volume":"28","author":"P. H. Rodenburg","year":"1991","unstructured":"Pieter Hendrik Rodenburg. A simple algebraic proof of the equational interpolation theorem. Algebra Universalis, 28:48\u201351, 1991.","journal-title":"Algebra Universalis"},{"key":"37_CR28","doi-asserted-by":"crossref","unstructured":"Gert Smolka, Werner Nutt, Joseph Goguen, and Jos\u00e9 Meseguer. Order-sorted equational computation. In Maurice Nivat and Hassan A\u00fft-Kaci, editors, Resolution of Equations in Algebraic Structures, Volume 2: Rewriting Techniques, pages 299\u2013367. Academic, 1989.","DOI":"10.1016\/B978-0-12-046371-8.50016-X"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44802-0_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T03:47:21Z","timestamp":1683863241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44802-0_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425540","9783540448020"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-44802-0_37","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}