✦ LIBER ✦

Hilbert's ɛ-operator and classical logic

✍ Scribed by J. L. Bell

Publisher: Springer Netherlands
Year: 1993
Tongue: English
Weight: 635 KB
Volume: 22
Category: Article
ISSN: 0022-3611
DOI: 10.1007/bf01049178

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Natural deduction and Hilbert's ɛ-operat

Natural deduction and Hilbert's ɛ-operator

✍ Allen Hazen 📂 Article 📅 1987 🏛 Springer Netherlands 🌐 English ⚖ 641 KB

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

Spatiality and classical logic

✍ Milena Stefanova; Silvio Valentini 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 109 KB

per le nuove tecnologie, l'energia e lo sviluppo economico sostenibile (ENEA), Technical Unit for Environmental Assessment Models, Methods and Technologies, via Martiri di Monte Sole n. 4,

Relevance logic, classical logic, and di

Relevance logic, classical logic, and disjunctive syllogism

✍ John A. Barker 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 860 KB

Embeddings of classical logic in S4

✍ J. Czermak 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 468 KB

Embedding Classical Logic in Intuitionis

Embedding Classical Logic in Intuitionistic Logic

✍ John Myhill 📂 Article 📅 1973 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB