𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Intuitionistic theory of algebraic systems and heyting-valid analysis

✍ Scribed by V. A. Lyubetskii


Publisher
Springer US
Year
1991
Tongue
English
Weight
749 KB
Volume
30
Category
Article
ISSN
0002-5232

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Systems of Transfinite Type Theory Based
✍ Kenneth A. Bowen πŸ“‚ Article πŸ“… 1974 πŸ› John Wiley and Sons 🌐 English βš– 953 KB

I n an earlier paper [2], using ZERMELO-FRAENXEL set theory (ZF) as metalanguage, for each ordinal 6 2 1, I introduced a system TTo of transfinite type theory formulated in GENTZEN'S sequentzen style [3]. The notion of sequent and the rules of inference were straightforward generalizations of those