𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Intuitionistic theory of functionals of a high type

✍ Scribed by F. R. Kashapova

Publisher
SP MAIK Nauka/Interperiodica
Year
1989
Tongue
English
Weight
710 KB
Volume
45
Category
Article
ISSN
0001-4346

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Decidability in Intuitionistic Type Theo
Decidability in Intuitionistic Type Theory is Functionally Decidable
✍ Silvio Valentini πŸ“‚ Article πŸ“… 1996 πŸ› John Wiley and Sons 🌐 English βš– 255 KB

## Abstract In this paper we show that the usual intuitionistic characterization of the decidability of the propositional function __B(x) prop__ [__x : A__], i. e. to require that the predicate (βˆ€__x__ ∈ __A__) (__B(x)__ ∨ Β¬ __B(x)__) is provable, is equivalent, when working within the framework of

Systems of Transfinite Type Theory Based
Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics
✍ 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