𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Models of Horn theories revisited

✍ Scribed by Jiří Rosický

Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
331 KB
Volume
92
Category
Article
ISSN
0022-4049

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Chondral Modeling Theory Revisited
A Chondral Modeling Theory Revisited
✍ MARK W HAMRICK 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 144 KB

The mechanical environment of limb joints constantly changes during growth due to growthrelated changes in muscle and tendon lengths, long bone dimensions, and body mass. The size and shape of limb joint surfaces must therefore also change throughout post-natal development in order to maintain norma

On the Difference of Horn Theories
On the Difference of Horn Theories
✍ Thomas Eiter; Toshihide Ibaraki; Kazuhisa Makino 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 248 KB

In this paper, we consider computing the difference between two Horn theories. This problem may arise, for example, if we take care of a theory change in a knowledge base. In general, the difference of Horn theories is not Horn. Therefore, we consider Horn approximations of the difference in terms o

The Essentially Equational Theory of Hor
The Essentially Equational Theory of Horn Classes
✍ Hans-E. Porst 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 233 KB

It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic (see ). In the special case of quasivarieties a direct translation of the implicational syntax into the essentially equational one is known (see ). Here we present a similar tr