{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:36:24Z","timestamp":1764783384574},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540503255"},{"type":"electronic","value":"9783540459705"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50325-0_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:20:44Z","timestamp":1330201244000},"page":"44-72","source":"Crossref","is-referenced-by-count":54,"title":["Structuring theories on consequence"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Fiadeiro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Am\u00edlcar","family":"Sernadas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"3_CR1","unstructured":"M.Arbib and E.Manes, Arrows, Structures, and Functors, Academic Press 1975"},{"key":"3_CR2","unstructured":"A.Avron, \"Simple Consequence Relations\", Report ECS-LFCS-87-30, Edinburgh, June 1987"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"J.Barwise, \"Axioms for Abstract Model Theory\", Annals of Mathematical Logic 7, 1974","DOI":"10.1016\/0003-4843(74)90016-3"},{"key":"3_CR4","unstructured":"W.Blok and D.Pigozzi, \"A Characterization of Algebraizable Logics\", Internal Report, Univ. Illinois at Chicago, January 1986"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"R.Burstall and J.Goguen, \"The Semantics of Clear, a Specification Language\", in LNCS 86, Proc. 1979 Copenhagen Winter School on Abstract Software Specification, Springer-Verlag 1980, 292\u2013332","DOI":"10.1007\/3-540-10007-5_41"},{"key":"3_CR6","unstructured":"R.Burstall and J.Goguen, \"An Informal Introduction to Specifications using Clear\", in The Correctness Problem in Computer Science, R. Boyer and J. Moore (eds), Academic Press 1981, 185\u2013213"},{"issue":"1","key":"3_CR7","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/322290.322303","volume":"29","author":"H.-D. Ehrich","year":"1982","unstructured":"H.-D. Ehrich, \"On the Teory of Specification, Implementation and Parametrization of Abstract Data Types\", Journal of the ACM, 29(1), January 1982, 206\u2013227","journal-title":"Journal of the ACM"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"H.Ehrig e B.Mahr, Fundamentals of Algebraic Specifications 1, EATCS Monographs on Computer Science, Springer-Verlag 1985","DOI":"10.1007\/978-3-642-69962-7"},{"key":"3_CR9","unstructured":"H.Enderton, A Mathematical Introduction to Logic, Academic Press 1972"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"J.Fiadeiro and A.Sernadas, \"Structuring Theories on Consequence\" \u2014 extended version, INESC, 1987","DOI":"10.1007\/3-540-50325-0_3"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"D.Gabbay, Semantical Investigations in Heyting's Intuitionistic Logic, Reidel, 1981","DOI":"10.1007\/978-94-017-2977-2"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"J. Goguen and R. Burstall, \"Institutions: Abstract Model Theory for Computer Science\", CSLI-85-30, Stanford University, 1985 (preliminary version in LNCS 164, Proc. Logics of Programming Workshop, E. Clarke and D. Kozen (eds), Springer-Verlag 1984, 221\u2013256)","DOI":"10.1007\/3-540-12896-4_366"},{"key":"3_CR13","first-page":"313","volume":"240","author":"J. Goguen","year":"1986","unstructured":"J. Goguen and R. Burstall, \"A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments\", in LNCS 240, Proc. Conference on Computer Science and Category Theory, D. Pitt et al (eds), Springer-Verlag 1986, 313\u2013333","journal-title":"LNCS"},{"key":"3_CR14","unstructured":"J.Goguen, J.Thatcher, E.Wagner and J.Wright, \"Abstract Data Types as Initial Algebras and the Correctness of Data Representations\", in Computer Graphics, Pattern Recognition and Data Structures, IEEE 1975, 89\u201393"},{"key":"3_CR15","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2307\/2025471","volume":"76","author":"H. I","year":"1979","unstructured":"I. Hacking, \"What is Logic?\", The Journal of Philosophy 76, 1979, 285\u2013318","journal-title":"The Journal of Philosophy"},{"key":"3_CR16","unstructured":"R.Harper, F.Honsell and G.Plotkin, \"A Framework for Defining Logics\", Proc. 2 nd Annual Conference on Logic in Computer Science, Ithaca, NY, June 1987"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"S.MacLane, Categories for the Working Mathematician, Springer Verlag 1971","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"3_CR18","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1109\/TSE.1985.232484","volume":"11","author":"D. MacQueen","year":"1985","unstructured":"D. MacQueen and D. Sannella, \"Completeness of Proof Systems for Equational Specifications\", IEEE Transactions on Software Engineering 11, 1985, 454\u2013461","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR19","first-page":"214","volume":"2","author":"T. Maibaum","year":"1985","unstructured":"T. Maibaum, P. Veloso and M. Sadler, \"A Theory of Abstract Data Types for Program Development: Bridging the Gap?\", in LNCS 186, Mathematical Foundations of Software Development, vol 2, Springer-Verlag 1985, 214\u2013230","journal-title":"Mathematical Foundations of Software Development"},{"key":"3_CR20","first-page":"135","volume":"86","author":"T. Maibaum","year":"1986","unstructured":"T. Maibaum, \"Role of Abstraction in Program Development\", in Information Processing 86, H.-J. Kugler (ed), North-Holand 1986, 135\u2013142","journal-title":"Information Processing"},{"key":"3_CR21","unstructured":"J.Meseguer and J.Goguen, \"Initiality, Induction and Computability\", in Algebraic Methods in Semantics, M. Nivat and J. Reynolds (eds), Cambridge University Press 1985, 459\u2013540"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"D.Pitt, S.Abramski, A.Poign\u00e9 and D.Rydeheard (eds), Category Theory and Computer Programming, LNCS 240, Springer Verlag, 1986","DOI":"10.1007\/3-540-17162-2"},{"key":"3_CR23","first-page":"337","volume":"173","author":"D. Sannella","year":"1984","unstructured":"D. Sannella and A. Tarlecki, \"Specifications in an Arbitrary Institution\", in LNCS 173, Proc. Int. Symposium on Semantics of Data Types, Springer-Verlag 1984, 337\u2013356","journal-title":"LNCS"},{"key":"3_CR24","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-17660-8_50","volume":"1","author":"D. Sannella","year":"1987","unstructured":"D. Sannella and A. Tarlecki, \"Toward Formal Development of Programs From Algebraic Specifications: Implementations Revisited\", in LNCS 249, Proc. TAPSOFT '87, vol 1, Springer-Verlag 1987, 96\u2013110 (an extended version will appear in Acta Informatica)","journal-title":"Proc. TAPSOFT '87"},{"key":"3_CR25","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-94-010-2191-3_13","volume-title":"Logical Theory and Semantical Analysis","author":"D. Scott","year":"1974","unstructured":"D. Scott, \"Rules and Derived Rules\", in Logical Theory and Semantical Analysis, S. Stenlund (ed), Reidel, Dordrecht, 1974, 147\u2013161"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"A.Sernadas, J.Fiadeiro, C.Sernadas and H.-D.Ehrich, \"Abstract Object Types: A Temporal Perspective\", Colloquium on Temporal Logic and Specification, A.Pnueli et al (eds), Springer-Verlag 1988","DOI":"10.1007\/3-540-51803-7_33"},{"issue":"3","key":"3_CR27","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(3), 1985, 269\u2013304","journal-title":"Theoretical Computer Science"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"A.Tarlecki, \"Bits and Pieces of the Theory of Institutions\", in [Pitt et al 86], 334\u2013363","DOI":"10.1007\/3-540-17162-2_132"},{"key":"3_CR29","first-page":"67","volume":"1","author":"A. Tarski","year":"1972","unstructured":"A. Tarski, \"Fundamentale Begriffe der Methodologie der Deduktiven Wissenschaften\" French translation in Logique, S\u00e9mantique, M\u00e9tamath\u00e9matique, vol 1, Armand Colin 1972, 67\u2013116","journal-title":"Logique, S\u00e9mantique, M\u00e9tamath\u00e9matique"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50325-0_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:52Z","timestamp":1605647872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50325-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540503255","9783540459705"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-50325-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}