Combining and Representing Logical Systems

, , and . Category Theory and Computer Science, 7th Int. Conf., volume 1290 of Lecture Notes in Computer Science, page 177--196. Springer Verlag, London, (1997)


The paper addresses important problems of building complex logical systems and their representations in universal logics in a systematic way. Following Goguen and Burstall, we adopt the model-theoretic view of logic as captured in the notion of institution and of parchment (a certain algebraic way of presenting institutions). We propose a modified notion of parchment together with a notion of parchment morphism and representation, respectively. We lift formal properties of the categories of institutions and their representations to this level: the category of parchments is complete, and parchment representations may be put together using categorical limits as well. However, parchments provide a more adequate framework for systematic combination of logical systems than institutions. We indicate how the necessary invention for proper combination of various logical features may be introduced either on an ad hoc basis (when putting parchments together using limits in the category of parchments) or via representations in a universal logic (when parchment combination is driven by their representations).

Links and resources

BibTeX key:
search on:

Comments and Reviews  

There is no review or comment yet. You can write one!


Cite this publication