BibTeX
@MISC{Mossakowski02comorphism-basedgrothendieck,
author = {Till Mossakowski},
title = {Comorphism-based Grothendieck logics},
year = {2002}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In order to obtain a semantic foundation for heterogeneous specification, we extend Diaconescu's morphism-based Grothendieck institutions to the case of comorphisms. This is not just a dualization, because we obtain more general results, especially concerning amalgamation properties. We also introduce a proof calculus for structured heterogeneous speci cations and study its soundness and completeness (where amalgamation properties play a r^ole for obtaining the latter).
