Treffer: Comorphism-Based Grothendieck Logics.
Title:
Comorphism-Based Grothendieck Logics.
Authors:
Goos, Gerhard1, Hartmanis, Juris2, van Leeuwen, Jan3, Diks, Krzysztof4 diks@mimuw.edu.pl, Rytter, Wojciech4,5 rytter@mimuw.edu.pl, Mossakowski, Till6
Source:
Mathematical Foundations of Computer Science 2002. 2002, p593-604. 12p.
Database:
Supplemental Index
Weitere Informationen
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 specifications and study its soundness and completeness (where amalgamation properties play a rôle for obtaining the latter). [ABSTRACT FROM AUTHOR]