Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details

 
Publication type: Article in Proceedings
Author: T. Mossakowski, A. Tarlecki, W. Pawlowski
Editor: E. Moggi, G. Rosolini
Title: Combining and Representing Logical Systems
Book / Collection title: Category Theory and Computer Science, 7th Int. Conf.
Volume: 1290
Page(s): 177 – 196
Series: Lecture Notes in Computer Science
Year published: 1997
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. Following Goguen and Burstall, we adopt the model-theoretic view of logic as captured in the notion of institution and of parchment (a certain algebraic way of presenting institutions). We propose a modified notion of parchment together with a notion of parchment morphism and representation, respectively. We lift formal properties of the categories of institutions and their representations to this level: the category of parchments is complete, and parchment representations may be put together using categorical limits as well. However, parchments provide a more adequate framework for systematic combination of logical systems than institutions. We indicate how the necessary invention for proper combination of various logical features may be introduced either on an ad hoc basis (when putting parchments together using limits in the category of parchments) or via representations in a universal logic (when parchment combination is driven by their representations).
Internet: http://dx.doi.org/10.1007/BFb0026988
PostScript Version: http://www.informatik.uni-bremen.de/~till/papers/CTCS_final.ps
Keywords: logic combination institution parchment representation comorphism coding
Status: Reviewed
Last updated: 11. 04. 2006

 Back to result list
 
   
Author: Automatically generated page
 
  Group BKB 
Last updated: May 9, 2023   impressum