𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Natural deduction and Hilbert's ɛ-operator

✍ Scribed by Allen Hazen

Publisher
Springer Netherlands
Year
1987
Tongue
English
Weight
641 KB
Volume
16
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fuzzy natural deduction
Fuzzy natural deduction
✍ Giangiacomo Gerla; Roberto Tortora 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 615 KB

## FUZZY SATURAL DEDUCTION bp GIAXGIACONIO GERLA and ROBERTO TORTORA in Napoli (Italy) If f and g are L-subsets and f 5 g , then we say that f is a subaet of g . The function

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