Combining and representing logical systems using model-theoretic parchments
The paper addresses important problems of building complex logical systems and their representations in universal logics in a systematic way. The authors adopt in this paper the model-theoretic view of logic as captured in the notions of institution and of parchment (an algebraic way of presenting institutions). They propose a new, modified notion of parchment together with parchment morphisms and representations. In contrast to the original parchment definition and earlier work, in model-theoretic parchments introduced here the universal semantic structure is distributed over individual signatures and models. The authors 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, the authors indicate how the necessary invention for combination of various logical features may be introduced either in an ad hoc manner or via representations in a universal logic. For the entire collection see [Zbl 0889.00030].
- On what exactly goes on when software is developed step-by-step. II: The sequel
- Relating CASL with other specification languages: the institution level.
- Stratified institutions and elementary homomorphisms
- Combining and representing logical systems
- A logical framework combining model and proof theory
- Parchments for CafeOBJ logics
- On the fragility of interpolation
This page was built for publication: Combining and representing logical systems using model-theoretic parchments
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3839061)
