Browsing Philosophy by Subject "Foundations of Mathematics"
Now showing items 1-1 of 1
-
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic
(University of Waterloo, 2015-09-02)Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions ...