✦ LIBER ✦

The number of the models of complete horn theories of finite depth

✍ Scribed by S. S. Starchenko

Publisher: Springer US
Year: 1986
Tongue: English
Weight: 658 KB
Volume: 25
Category: Article
ISSN: 0002-5232
DOI: 10.1007/bf01988802

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On complete theories with a finite numbe

On complete theories with a finite number of denumerable models

✍ M. G. Peretyat'kin 📂 Article 📅 1973 🏛 Springer US 🌐 English ⚖ 961 KB

Elimination of quantors in horn theories

Elimination of quantors in horn theories having a small number of models

✍ E. A. Palyutin 📂 Article 📅 1991 🏛 Springer US 🌐 English ⚖ 166 KB

The number of finitely axiomatizable com

The number of finitely axiomatizable completions

✍ S. S. Zaurbekov 📂 Article 📅 1991 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 453 KB

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

Number of constructive homogeneous model

Number of constructive homogeneous models of a complete decidable theory

✍ K. Zh. Kudaibergenov 📂 Article 📅 1983 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 501 KB

The number of computable indexations of

The number of computable indexations of finite classes of constructive models

✍ V. P. Dobritsa 📂 Article 📅 1986 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 247 KB