𝔖 Bobbio Scriptorium
✦   LIBER   ✦

New operations in intuitionistic calculus

✍ Scribed by A. V. Bessonov

Publisher
SP MAIK Nauka/Interperiodica
Year
1977
Tongue
English
Weight
274 KB
Volume
22
Category
Article
ISSN
0001-4346

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Hilbert's Ο΅-operator in intuitionistic t
Hilbert's Ο΅-operator in intuitionistic type theories
✍ John L. Bell πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 702 KB

## Abstract We investigate Hilbert's ϡ‐calculus in the context of intuitionistic type theories, that is, within certain systems of intuitionistic higher‐order logic. We determine the additional deductive strength conferred on an intuitionistic type theory by the adjunction of closed ϡ‐terms. We ext