| Publication type: |
Article in Proceedings |
| Author: |
Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki |
| Editor: |
S. Iida, J. Meseguer, K. Ogata |
| Title: |
Parchments for CafeOBJ logics |
| Book / Collection title: |
Specification, Algebra, and Software. Essays Dedicated to Kokichi Futatsugi |
| Volume: |
8873 |
| Page(s): |
66 – 91 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2014 |
| Abstract: |
This paper addresses issues arising in the systematic construction
of large logical systems. We rely on a model-theoretic view of logical
systems, captured by institutions that are in turn presented
by parchments. We define their categories, and study constructions that
may be carried out in these categories. In particular we show how
limits of parchments may be used to combine features involved in
various logical systems, sometimes necessarily augmenting the
universal construction by additional systematic adjustments. We
illustrate these developments by sketching how the logical systems
that form the logical foundations of CafeOBJ may be built in this
manner. |
| Internet: |
http://link.springer.com/book/10.1007%2F978-3-642-54624-2 |
| PDF Version: |
http://www.informatik.uni-bremen.de/~till/papers/futatsugi.pdf |
| Keywords: |
institution logic parchment combination CafeOBJ |
| Status: |
Reviewed |
| Last updated: |
25. 04. 2014 |
