Institution Morphisms

Institution Morphisms (2001)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Joseph Goguen , Grigore Rosu

Citations:

51 - 17 self

BibTeX

@MISC{Goguen01institutionmorphisms,
    author = {Joseph Goguen and Grigore Rosu},
    title = {Institution Morphisms},
    year = {2001}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Institutions formalize the intuitive notion of logical system, including both syntax and semantics. A surprising

Citations

156	On the structure of abstract algebras - Birkhoff - 1935
154	The semantics of Clear, a specification language - Burstall, Goguen - 1979
44	I borrow your logic? (Transporting logical structures along maps - Cerioli, Meseguer
38	Logical support for modularization - Diaconescu, Goguen, et al. - 1991
26	Extra theory morphisms for institutions: logical semantics for multiparadigm languages - Diaconescu - 1998
24	Observational proofs with critical contexts - Berregeb, Bouhoula, et al. - 1998
24	Burstall and Razvan Diaconescu. Hiding and behaviour: an institutional approach - Rod - 1994
24	Category-based semantics for equational and constraint logic programming - Diaconescu - 1994
22	Emil Căzănescu and Grigore Ros¸u. Weak inclusion systems - Virgil - 1997
21	On the Structure of Abstract Algebras - Birkho - 1935
21	Interpolation in Grothendieck institutions - Diaconescu
18	Relationships between logical frameworks - Astesiano, Cerioli - 1993
17	From total equational to partial first order - Cerioli, Mossakowski, et al. - 1997
7	casl summary - CoFI - 2000
7	Category-based modularization for equational logic programming - Diaconescu - 1996
7	Fiadeiro and Amilcar Sernadas. Structuring theories on consequence - José - 1988
5	The semantics of Clear, a speci cation language - Burstall, Goguen - 1980
4	Semantics of Clear. Unpublished notes handed out at - Burstall, Goguen - 1978
3	A Model Theoretic Oriented Appraoch to Partial Algebras. Akademie-Verlag - Burmeister - 1986
1	Emil Cazanescu. Local equational logic 2 - Virgil - 1994
1	Grothendieck institutions. IMAR Preprint 2--2000 - Diaconescu
1	From total equational to partial rst order - Cerioli, Mossakowski, et al. - 1999