𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Principles for normalization of formulas

✍ Scribed by T. G. Mustafin

Publisher
SP MAIK Nauka/Interperiodica
Year
1981
Tongue
English
Weight
757 KB
Volume
22
Category
Article
ISSN
0037-4466

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Normal forms for a class of formulas
Normal forms for a class of formulas
✍ H.M.M. Ten Eikelder; J.C.F. Wilmont πŸ“‚ Article πŸ“… 1991 πŸ› Elsevier Science 🌐 English βš– 1010 KB
On Overspill Principles and Axiom Scheme
On Overspill Principles and Axiom Schemes for Bounded Formulas
✍ JoaquΓ­n Borrego-DΓ­az; Alejandro FernΓ‘ndez-Margarit; Mario PΓ©rez-JimΓ©nez πŸ“‚ Article πŸ“… 1996 πŸ› John Wiley and Sons 🌐 English βš– 376 KB

We study the theories IV,, LV, and overspill principles for 0, formulas. We show that IE, LV, j IV,, but we do not know if IV, j LVn. We introduce a new scheme, the growth scheme Crr, and we prove that LV, CrVn \* IV,. Also, we analyse the utility of bounded collection axioms for the study of the ab