%0 Journal Article %1 KreowskiMossakowski95 %A Kreowski, H.-J. %A Mossakowski, T. %D 1995 %J Mathematical Structures in Computer Science %K imported %P 189--215 %T Equivalence and Difference of Institutions: Simulating Horn Clause Logic With Based Algebras %V 5 %X 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.

@article{KreowskiMossakowski95, 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. }, added-at = {2016-08-05T15:59:03.000+0200}, author = {Kreowski, H.-J. and Mossakowski, T.}, biburl = {https://www.bibsonomy.org/bibtex/2834e489c3e62d0614021b76f0811b260/tillmo}, interhash = {715eda05b278f18ca5a5e0db0bfa58f1}, intrahash = {834e489c3e62d0614021b76f0811b260}, journal = {Mathematical Structures in Computer Science}, keywords = {imported}, pages = {189--215}, psurl = {http://www.informatik.uni-bremen.de/~till/papers/simul2.ps}, status = {Reviewed}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {Equivalence and Difference of Institutions: Simulating {H}orn Clause Logic With Based Algebras}, volume = 5, year = 1995 }