JavaScript is disabled for your browser. Some features of this site may not work without it.
UWSpace will be migrating to a new version of its software from July 29th to August 1st. UWSpace will be offline for all UW community members during this time.
Browsing Philosophy by Author "Mulvihill, Corey Edward"
Mulvihill, Corey Edward(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 ...