𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Mechanical theorem proving in a certain class of formulae of the predicate calculus

✍ Scribed by Ewa Orłowska

Publisher
Springer Netherlands
Year
1969
Tongue
English
Weight
453 KB
Volume
25
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Completeness Theorem for Certain Class
A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas
✍ Christopher J. Ash; Julia F. Knight 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 494 KB 👁 1 views

## Abstract We consider the following generalization of the notion of a structure recursive relative to a set __X.__ A relational structure __A__ is said to be a Γ(__X__)‐structure if for each relation symbol __R__, the interpretation of __R__ in __A__ is ∑ relative to __X__, where β = Γ(__R__). We