{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:32Z","timestamp":1725664712189},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613770"},{"type":"electronic","value":"9783540685074"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61377-3_51","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:35:59Z","timestamp":1330292159000},"page":"403-433","source":"Crossref","is-referenced-by-count":11,"title":["Equivalences among various logical frameworks of partial algebras"],"prefix":"10.1007","author":[{"given":"Till","family":"Mossakowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"J. Ad\u00e1mek, J. Rosick\u00fd. Locally Presentable and Accessible Categories. Cambridge University Press, 1994.","DOI":"10.1017\/CBO9780511600579"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"E. Astesiano, M. Cerioli. Multiparadigm specification languages: a first attempt at foundations. In J.F. Groote C.M.D.J. Andrews, ed., Semantics of Specification Languages (SoSl 93), Workshops in Computing, 168\u2013185. Springer Verlag, 1994.","DOI":"10.1007\/978-1-4471-3229-5_10"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"M. Barr, C. Wells. Toposes, Triples and Theories, Grundlehren der mathematischen Wissenschaften 278. Springer Verlag, 1985.","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"24_CR4","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/BF02483730","volume":"15","author":"P. Burmeister","year":"1982","unstructured":"P. Burmeister. Partial algebras \u2014 survey of a unifying approach towards a two-valued model theory for partial algebras. Algebra Universalis 15, 306\u2013358, 1982.","journal-title":"Algebra Universalis"},{"key":"24_CR5","volume-title":"A model theoretic approach to partial algebras","author":"P. Burmeister","year":"1986","unstructured":"P. Burmeister. A model theoretic approach to partial algebras. Akademie Verlag, Berlin, 1986."},{"key":"24_CR6","unstructured":"R. M. Burstall, J. A. Goguen. Putting theories together to make specifications. In Proceedings of the 5th International Joint Conference on Artificial Intelligence, 1045\u20131058. Cambridge, 1977."},{"key":"24_CR7","unstructured":"M. Cerioli. Relationships between Logical Formalisms. PhD thesis, TD-4\/93, Universit\u00e0 di Pisa-Genova-Udine, 1993."},{"key":"24_CR8","first-page":"342","volume-title":"May I borrow your logic?","author":"M. Cerioli","year":"1993","unstructured":"M. Cerioli, J. Meseguer. May I borrow your logic? In A.M. Borzyszkowski, S. Sokolowski, eds., Proc. MFCS'93 (Mathematical Foundations of Computer Science), LNCS 711, 342\u2013351. Springer Verlag, Berlin, 1993. To appear in Theoretical Computer Science."},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"M. Coste. Localisation, spectra and sheaf representation. In M.P. Fourman, C.J. Mulvey, D.S. Scott, eds., Application of Sheaves, Lecture Notes in Mathematics 753, 212\u2013238. Springer Verlag, 1979.","DOI":"10.1007\/BFb0061820"},{"key":"24_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig, B. Mahr. Fundamentals of Algebraic Specification 1. Springer Verlag, Heidelberg, 1985."},{"key":"24_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification 2","author":"H. Ehrig","year":"1990","unstructured":"H. Ehrig, B. Mahr. Fundamentals of Algebraic Specification 2. Springer Verlag, Heidelberg, 1990."},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"H. Ehrig, P. Pepper, F. Orejas. On recent trends in algebraic specification. In Proc. ICALP'89, LNCS 372, 263\u2013288. Springer Verlag, 1989.","DOI":"10.1007\/BFb0035766"},{"key":"24_CR13","doi-asserted-by":"crossref","first-page":"1269","DOI":"10.2307\/2274487","volume":"55","author":"W. A. Farmer","year":"1991","unstructured":"W. A. Farmer. A partial functions version of Church's simple type theory. Journal of Symbolic Logic 55, 1269\u20131291, 1991.","journal-title":"Journal of Symbolic Logic"},{"key":"24_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0004972700044828","volume":"7","author":"P. Freyd","year":"1972","unstructured":"P. Freyd. Aspects of topoi. Bull. Austral. Math. Soc. 7, 1\u201376, 1972.","journal-title":"Bull. Austral. Math. Soc."},{"key":"24_CR15","volume-title":"Lecture Notes in Mathematics 221","author":"P. Gabriel","year":"1971","unstructured":"P. Gabriel, F. Ulmer. Lokal pr\u00e4sentierbare Kategorien, Lecture Notes in Mathematics 221. Springer Verlag, Heidelberg, 1971."},{"key":"24_CR16","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen, R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery 39, 95\u2013146, 1992. Predecessor in: LNCS 164(1984):221\u2013256.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"24_CR17","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen, J. Meseguer. Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science 105, 217\u2013273, 1992.","journal-title":"Theoretical Computer Science"},{"key":"24_CR18","unstructured":"Joseph Goguen, Jean-Pierre Jouannaud, Jos\u00e9 Meseguer. Operational semantics of order-sorted algebra. In Wilfried Brauer, ed., Proceedings, 1985 International Conference on Automata, Languages and Programming. Springer, 1985. Lecture Notes in Computer Science, Volume 194."},{"key":"24_CR19","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0304-3975(87)90122-8","volume":"50","author":"J. W. Gray","year":"1987","unstructured":"J. W. Gray. Categorical aspects of data type constructors. Theoretical Computer Science 50, 103\u2013135, 1987.","journal-title":"Theoretical Computer Science"},{"key":"24_CR20","first-page":"373","volume-title":"On partial algebras","author":"H.-J. Hoehnke","year":"1981","unstructured":"H.-J. Hoehnke. On partial algebras. In Universal Algebra (Proc. Coll. Esztergom 1977), Colloq. Math. Soc. J. Bolyai 29, 373\u2013412. North Holland, Amsterdam, 1981."},{"key":"24_CR21","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF01229975","volume":"25","author":"G. Jarzembski","year":"1988","unstructured":"G. Jarzembski. Weak varieties of partial algebras. Algebra Universalis 25, 247\u2013262, 1988.","journal-title":"Algebra Universalis"},{"key":"24_CR22","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/0304-3975(93)90058-2","volume":"115","author":"G. Jarzembski","year":"1993","unstructured":"G. Jarzembski. Programs in partial algebras. Theoretical Computer Science 115, 131\u2013149, 1993.","journal-title":"Theoretical Computer Science"},{"key":"24_CR23","unstructured":"S.C. Kleene. Introduction to Metamathematics. North Holland, 1952."},{"key":"24_CR24","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1017\/S0960129500000712","volume":"5","author":"H.-J. Kreowski","year":"1995","unstructured":"H.-J. Kreowski, T. Mossakowski. Equivalence and difference of institutions: Simulating horn clause logic with based algebras. Mathematical Structures in Computer Science 5, 189\u2013215, 1995.","journal-title":"Mathematical Structures in Computer Science"},{"key":"24_CR25","doi-asserted-by":"crossref","unstructured":"J. Meseguer. General logics. In Logic Colloquium 87, 275\u2013329. North Holland, 1989.","DOI":"10.1016\/S0049-237X(08)70132-0"},{"issue":"1","key":"24_CR26","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1006\/inco.1993.1016","volume":"103","author":"J. Meseguer","year":"1993","unstructured":"J. Meseguer, J. Goguen. Order-sorted algebra solves the constructor, selector, multiple representation and coercion problems. Information and Computation 103(1), 114\u2013158, March 1993.","journal-title":"Information and Computation"},{"key":"24_CR27","unstructured":"T. Mossakowski. Simulations between various institutions of partial and total algebras. Talk at the Workshop of the ESPRIT Basic Research Working Group COMPASS, Dresden, September 1993."},{"key":"24_CR28","first-page":"139","volume-title":"Parameterized recursion theory \u2014 a tool for the systematic classification of specification methods","author":"T. Mossakowski","year":"1993","unstructured":"T. Mossakowski. Parameterized recursion theory \u2014 a tool for the systematic classification of specification methods. In M. Nivat, C. Rattray, T. Rus, G. Scollo, eds., Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, 1993, Workshops in Computing, 139\u2013146. Springer-Verlag, London, 1993. Also to appear in Theoretical Computer Science."},{"key":"24_CR29","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/BFb0014440","volume-title":"Recent Trends in Data Type Specification","author":"T. Mossakowski","year":"1995","unstructured":"T. Mossakowski. A hierarchy of institutions separated by properties of parameterized abstract data types. In Recent Trends in Data Type Specification. Proceedings, Lecture Notes in Computer Science 906, 389\u2013405. Springer Verlag, London, 1995."},{"key":"24_CR30","doi-asserted-by":"crossref","unstructured":"T. Mossakowski. Different types of arrow between logical frameworks. In ICALP 96, LNCS. To appear. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61440-0_125"},{"key":"24_CR31","unstructured":"J. Slominski. Peano-algebras and quasi-algebras, Dissertationes Mathematicae (Rozprawy Mat.) 62. 1968."},{"key":"24_CR32","doi-asserted-by":"crossref","unstructured":"A. Poign\u00e9. Algebra categorically. In D. Pitt et al., ed., Category Theory and Computer Programming, Lecture Notes in Computer Science 240, 76\u2013102. Springer Verlag, 1986.","DOI":"10.1007\/3-540-17162-2_118"},{"key":"24_CR33","doi-asserted-by":"crossref","unstructured":"H. Reichel. Initial Computability, Algebraic Specifications and Partial Algebras, Oxford Science Publications, 1987.","DOI":"10.1515\/9783112573426"},{"key":"24_CR34","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"D. Sannella, A. Tarlecki. Specifications in an arbitrary institution. Information and Computation 76, 165\u2013210, 1988.","journal-title":"Information and Computation"},{"key":"24_CR35","volume-title":"Mathematical Logic","author":"J.R. Shoenfield","year":"1967","unstructured":"J.R. Shoenfield. Mathematical Logic. Addison-Wesley, Reading, Massachusetts, 1967."},{"key":"24_CR36","unstructured":"A. Tarlecki. Working with multiple logical systems. Unpublished manuscript."},{"key":"24_CR37","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0304-3975(85)90094-5","volume":"37","author":"A. Tarlecki","year":"1985","unstructured":"A. Tarlecki. On the existence of free models in abstract algebraic institutions. Theoretical Computer Science 37, 269\u2013304, 1985.","journal-title":"Theoretical Computer Science"},{"key":"24_CR38","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0304-3975(86)90051-4","volume":"42","author":"M. Wirsing","year":"1986","unstructured":"M. Wirsing. Structured algebraic specifications: A kernel language. Theoretical Computer Science 42, 123\u2013249, 1986.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61377-3_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T19:11:00Z","timestamp":1687288260000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61377-3_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613770","9783540685074"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/3-540-61377-3_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}