| Art der Veröffentlichung: |
Artikel |
| Autor: |
H.-J. Kreowski, T. Mossakowski |
| Titel: |
Equivalence and Difference of Institutions: Simulating {H}orn Clause Logic With Based Algebras |
| Band: |
5 |
| Seite(n): |
189 – 215 |
| Zeitschrift: |
Mathematical Structures in Computer Science |
| Erscheinungsjahr: |
1995 |
| Abstract / Kurzbeschreibung: |
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 |
| Letzte Aktualisierung: |
04. 05. 2004 |
