Generalized Theoroidal Institution Comorphisms

Mihai Codescu

In: Andrea Corradini , Ugo Montanari (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-2008) 19th June 13-16 Pisa Italy Seiten 88-101 Lecture Notes in Computer Science (LNCS) 5486 ISBN 978-3-642-03428-2 Springer Berlin, Heidelberg 2009.


We propose a generalization of the notion of theoroidal comorphism, motivated by several logic translations of practical importance, encountered in the implementation of Heterogeneous Tool Set Hets. We discuss the impact of this generalization on the level of heterogenous specifications, by presenting the Grothendieck construction over a diagram of institutions and translations modelled as generalized comorphisms. Conditions for heterogeneous proofs are also evaluated.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence