Mathematical Logic Quarterly 41 (4):523-546 (1995)

David DeVidi
University of Waterloo
There are several open problems in the study of the calculi which result from adding either of Hilbert's ϵ- or τ-operators to the first order intuitionistic predicate calculus. This paper provides answers to several of them. In particular, the first complete and sound semantics for these calculi are presented, in both a “quasi-extensional” version which uses choice functions in a straightforward way to interpret the ϵ- or τ-terms, and in a form which does not require extensionality assumptions. Unlike the classical case, the addition of either operator to intuitionistic logic is non-conservative. Several interesting consequences of the addition of each operator are proved. Finally, the independence of several other schemes in either calculus are also proved, making use of the semantics supplied earlier in the paper
Keywords ϵ‐calculus  Intuitionistic logic
Categories (categorize this paper)
DOI 10.1002/malq.19950410409
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,077
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Mathematics of Metamathematics.Helena Rasiowa - 1963 - Warszawa, Państwowe Wydawn. Naukowe.
A Course in Mathematical Logic.J. L. Bell - 1977 - Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
Mathematical Logic and Hilbert's & Symbol.A. C. Leisenring - 1969 - London: Macdonald Technical & Scientific.
Variable Binding Term Operators.John Corcoran, William Hatcher & John Herring - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):177-182.

View all 10 references / Add more references

Citations of this work BETA

Choice Principles and Constructive Logics.David Dedivi - 2004 - Philosophia Mathematica 12 (3):222-243.

Add more citations

Similar books and articles

A Proof-Search Procedure for Intuitionistic Propositional Logic.R. Alonderis - 2013 - Archive for Mathematical Logic 52 (7-8):759-778.
On Skolem and Herbrand Theorems for Intuitionistic Logic.Herman Ruge Jervell - 1972 - Oslo, Universitetet I Oslo, Matematisk Institutt.


Added to PP index

Total views
15 ( #678,327 of 2,454,526 )

Recent downloads (6 months)
1 ( #449,188 of 2,454,526 )

How can I increase my downloads?


My notes