Unifying Theories in Different Institutions

M. Arrais; José Luiz Fiadeiro

doi:10.1007/3-540-61629-2_38

Unifying Theories in Different Institutions

M. Arrais
, José Luiz Fiadeiro

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

22 Citations (Scopus)

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.

Original language	English
Title of host publication	Recent Trends in Data Type Specification
Subtitle of host publication	11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers
Editors	M. Haveraaen, O. Owe, O. J. Dhal
Publisher	Springer Verlag
Pages	81-101
Number of pages	21
ISBN (Electronic)	9783540706427
ISBN (Print)	9783540616290
DOIs	https://doi.org/10.1007/3-540-61629-2_38
Publication status	Published - 1996

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	1130

Keywords

Inference System
Temporal Logic
Natural Transformation
Linear Temporal Logic
Left Adjoint

Access to Document

10.1007/3-540-61629-2_38

Cite this

Arrais, M., & Fiadeiro, J. L. (1996). Unifying Theories in Different Institutions. In M. Haveraaen, O. Owe, & O. J. Dhal (Eds.), Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers (pp. 81-101). (Lecture Notes in Computer Science; Vol. 1130). Springer Verlag. https://doi.org/10.1007/3-540-61629-2_38

Arrais, M. ; Fiadeiro, José Luiz. / Unifying Theories in Different Institutions. Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers. editor / M. Haveraaen ; O. Owe ; O. J. Dhal. Springer Verlag, 1996. pp. 81-101 (Lecture Notes in Computer Science).

@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",

}

Arrais, M & Fiadeiro, JL 1996, Unifying Theories in Different Institutions. in M Haveraaen, O Owe & OJ Dhal (eds), Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers. Lecture Notes in Computer Science, vol. 1130, Springer Verlag, pp. 81-101. https://doi.org/10.1007/3-540-61629-2_38

Unifying Theories in Different Institutions. / Arrais, M.; Fiadeiro, José Luiz.
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers. ed. / M. Haveraaen; O. Owe; O. J. Dhal. Springer Verlag, 1996. p. 81-101 (Lecture Notes in Computer Science; Vol. 1130).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Unifying Theories in Different Institutions

AU - Arrais, M.

AU - Fiadeiro, José Luiz

PY - 1996

Y1 - 1996

N2 - 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.

AB - 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.

KW - Inference System

KW - Temporal Logic

KW - Natural Transformation

KW - Linear Temporal Logic

KW - Left Adjoint

U2 - 10.1007/3-540-61629-2_38

DO - 10.1007/3-540-61629-2_38

M3 - Conference contribution

SN - 9783540616290

T3 - Lecture Notes in Computer Science

SP - 81

EP - 101

BT - Recent Trends in Data Type Specification

A2 - Haveraaen, M.

A2 - Owe, O.

A2 - Dhal, O. J.

PB - Springer Verlag

ER -

Arrais M, Fiadeiro JL. Unifying Theories in Different Institutions. In Haveraaen M, Owe O, Dhal OJ, editors, Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers. Springer Verlag. 1996. p. 81-101. (Lecture Notes in Computer Science). doi: 10.1007/3-540-61629-2_38

Unifying Theories in Different Institutions

Abstract

Publication series

Keywords

Access to Document

Fingerprint

Cite this