Hilbert's epsilon as an operator of indefinite committed choice

DOI10.1016/j.jal.2007.07.009zbMath1147.03031arXiv0902.3749OpenAlexW2000186603MaRDI QIDQ946570

Claus-Peter Wirth

Publication date: 23 September 2008

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0902.3749

zbMATH Keywords

automated theorem provingHilbert's epsilon operatorformal philosophy of languagehuman-oriented interactive theorem provingsemantics of natural languagetheories of truth and validity

Mathematics Subject Classification ID

Logic of natural languages (03B65) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Related Items

Herbrand's fundamental theorem in the eyes of Jean van Heijenoort, \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps, On Bourbaki's axiomatic system for set theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unification under a mixed prefix
• Hilbert's \(\varepsilon{}\)-operator and classical logic
• Automated deduction. A basis for applications. Vol. III: Applications
• Automated deduction in classical and non-classical logics. Selected papers
• Eine Termlogik mit Auswahloperator
• Mengentheoretische Begründung der Logik
• Theorie der Logischen Auswahlfunktionen
• The Logic of Choice
• Descente Infinie + Deduction
• Intuitionistic ϵ‐ and τ‐calculi
• Grundlagen der Mathematik I