Parchments for CafeOBJ Logics

Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationSpecification, Algebra, and Software
Subtitle of host publicationEssays Dedicated to Kokichi Futatsugi
PublisherSpringer Berlin Heidelberg
Pages66-91
Number of pages26
ISBN (Electronic)978-3-642-54624-2
ISBN (Print)978-3-642-54623-5
DOIs
Publication statusPublished - 2014

Publication series

NameLecture Notes in Computer Science
Volume8373
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Cite this