| Publication type: |
Article in Proceedings |
| Author: |
T. Mossakowski, A. Tarlecki, W. Pawlowski |
| Editor: |
F. Parisi Presicce |
| Title: |
Combining and Representing Logical Systems Using Model-Theoretic Parchments |
| Book / Collection title: |
Recent trends in algebraic development techniques. Proc. 12th International Workshop |
| Volume: |
1376 |
| Page(s): |
349 – 364 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
1998 |
| Publisher: |
Springer Verlag, London |
| Abstract: |
The paper addresses important problems of building complex logical systems and their representations in universal logics in a systematic way. We adopt the model-theoretic view of logic as captured in the notions of institution and of parchment (an algebraic way of presenting institutions). We propose a new, modified notion of parchment together with parchment morphisms and representations. In contrast to the original parchment definition and our earlier work, in model-theoretic parchments introduced here the universal semantic structure is distributed over individual signatures and models. We lift formal properties of the categories of institutions and their representations to this level: the category of model-theoretic parchments is complete, and their representations may be put together using categorical limits as well. However, model-theoretic parchments provide a more adequate framework for systematic combination of logical systems than institutions. We indicate how the necessary invention for combination of various logical features may be introduced either on an ad hoc basis or via representations in a universal logic. |
| Internet: |
http://dx.doi.org/10.1007/3-540-64299-4_44 |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~till/papers/adt97.ps |
| Status: |
Reviewed |
| Last updated: |
04. 08. 2006 |
