Hilbert's \(\varepsilon{}\)-operator and classical logic
From MaRDI portal
Publication:1208146
DOI10.1007/BF01049178zbMath0784.03008OpenAlexW2000295225MaRDI QIDQ1208146
Publication date: 16 May 1993
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01049178
\(\varepsilon\)-axiomextensionality principleHeyting first-order predicate calculusHilbert's \(\varepsilon\)-operatorprinciple of bivalencesuperintuitionistic axioms
Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) History of mathematical logic and foundations (03-03) Intermediate logics (03B55)
Related Items
Logic in Category Theory, EPSILON THEOREMS IN INTERMEDIATE LOGICS, Type reducing correspondences and well-orderings: Frege's and Zermelo's constructions re-examined, Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator, RAMSIFICATION AND SEMANTIC INDETERMINACY, Hilbert's epsilon as an operator of indefinite committed choice, On Bourbaki's axiomatic system for set theory, Hilbert's logic. From axiomatics to proof theory, Semantics and Proof Theory of the Epsilon Calculus, The epsilon calculus and Herbrand complexity
Cites Work
