Hilbert’s epsilon as an operator of indefinite committed choice (2009)

by Claus-peter Wirth
Citations:2 - 2 self

Active Bibliography

JACQUES HERBRAND: LIFE, LOGIC, AND AUTOMATED DEDUCTION – Claus-peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier
15 RELEVANCE LOGIC – J. MICHAEL DUNN , GREG RESTALL
10 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern
Chapter 1 Knowledge Representation and Classical Logic – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Vladimir Lifschitz, Leora Morgenstern, David Plaisted
6 A Tableau Calculus for Partial Functions – Manfred Kerber, Manfred Kerber, Michael Kohlhase, Michael Kohlhase - 1996
3 Hilbert’s “Verunglückter Beweis,” the first epsilon theorem and consistency proofs. History and Philosophy of Logic – Richard Zach
5 A "Natural Logic" For Natural Language Processing And Knowledge Representation – Syed S. Ali - 1993
4 Hilbert’s Program Then and Now – Richard Zach - 2005
Algebraic Properties of Rules of Frege-Hilbert Calculi – Elmar Eder - 2005
4 Learning and Deduction in Neural Networks and Logic – Ekaterina Komendantskaya - 2007
19 Higher Order Logic – Daniel Leivant - 1994
A Self-Contained and Easily . . . – Claus-peter Wirth - 2010
4 Proof Procedures for Logic Programming – Donald W. Loveland, Donald W. Loveland, Gopalan Nadathur, Gopalan Nadathur - 1994
4 Syntax Independent Connections – Jean Goubault - 1993
12 Quantification And Scoping: A Deductive Account – Bob Carpenter
Practical Automated Theorem Proving with the Polarized Inverse Method – Sean McLaughlin - 2009
8 Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation – François Bry, Adnan Yahya - 2000
Completeness Results for . . . – Mark Kaminski - 2006
2 Full First-Order Free Variable Sequents and Tableaux in Implicit Induction – Claus-peter Wirth - 1999