@inproceedings{3a7eb7bd615e45b8943669dab881579b,
title = "Unifying Theories in Different Institutions",
abstract = "We investigate functorial relationships between the categories of theories in different institutions, namely adjunctions, as a means of translating between the different specification spaces that they provide. We show that there is a canonical way in which adjunctions between the categories of signatures can be lifted to the categories of theories. This lifting is associated with a duality between the concepts of institution map and institution morphism. Finally, we make an attempt at generalising these results to institution semi-morphisms that can be presented by an inference system.",
keywords = "Inference System, Temporal Logic, Natural Transformation, Linear Temporal Logic, Left Adjoint",
author = "M. Arrais and Fiadeiro, {Jos{\'e} Luiz}",
year = "1996",
doi = "10.1007/3-540-61629-2_38",
language = "English",
isbn = "9783540616290",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "81--101",
editor = "M. Haveraaen and O. Owe and Dhal, {O. J.}",
booktitle = "Recent Trends in Data Type Specification",
address = "Germany",
}