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

Publications Search - Details

 
Publication type: Article
Author: H.-J. Kreowski, T. Mossakowski
Title: Equivalence and Difference of Institutions: Simulating Horn Clause Logic With Based Algebras
Volume: 5
Page(s): 189 – 215
Journal: Mathematical Structures in Computer Science
Year published: 1995
Abstract: In this paper, we investigate several logical frameworks whose expressiveness lies between Conditional Equational Logic and Horn Clause Logic. The main result deals with the PART-construction, which interprets total based algebras as partial algebras. This construction can be viewed as a simulation of Horn Clause Theories by means of Conditional Equational Theories. Other constructions in other frameworks are extendable to simulations in a similar way. The notion of categorical retractive simulation captures some essential properties of these, which allow to measure the equivalence and difference between institutions.
PostScript Version: http://www.informatik.uni-bremen.de/~till/papers/simul2.ps
Status: Reviewed
Last updated: 04. 05. 2004

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