T. Mossakowski, W. Pawlowski, D. Sannella, and A. Tarlecki. Specification, Algebra, and Software. Essays Dedicated to Kokichi Futatsugi, volume 8873 of Lecture Notes in Computer Science, page 66-91. (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.
%0 Conference Paper
%1 MossakowskiEtAl13c
%A Mossakowski, Till
%A Pawlowski, Wieslaw
%A Sannella, Donald
%A Tarlecki, Andrzej
%B Specification, Algebra, and Software. Essays Dedicated to Kokichi Futatsugi
%D 2014
%E Iida, S.
%E Meseguer, J.
%E Ogata, K.
%K CafeOBJ combination institution logic parchment
%P 66-91
%T Parchments for CafeOBJ logics
%U http://link.springer.com/book/10.1007%2F978-3-642-54624-2
%V 8873
%X 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.
@inproceedings{MossakowskiEtAl13c,
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.},
added-at = {2016-08-05T15:59:03.000+0200},
author = {Mossakowski, Till and Pawlowski, Wieslaw and Sannella, Donald and Tarlecki, Andrzej},
biburl = {https://www.bibsonomy.org/bibtex/2c88a31597dc0dfff96c6752a4c1c6295/tillmo},
booktitle = {Specification, Algebra, and Software. Essays Dedicated to Kokichi Futatsugi},
editor = {Iida, S. and Meseguer, J. and Ogata, K.},
interhash = {4b31f5eec500ad4e7a499ac986b21335},
intrahash = {c88a31597dc0dfff96c6752a4c1c6295},
keywords = {CafeOBJ combination institution logic parchment},
pages = {66-91},
pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/futatsugi.pdf},
series = {Lecture Notes in Computer Science},
status = {Reviewed},
timestamp = {2016-08-05T15:59:03.000+0200},
title = {Parchments for CafeOBJ logics},
url = {http://link.springer.com/book/10.1007%2F978-3-642-54624-2},
volume = 8873,
year = 2014
}