Term Logic with Choice Operator

Front Matter....Pages i-iii
Einleitung....Pages 1-3
Prädikatenlogik mit Auswahloperator....Pages 4-6
Termlogik mit Auswahloperator....Pages 7-9
Zusammenhang zwischen der Prädikatenlogik und der Termlogik....Pages 10-14
Ranng, freies Vorkommen einer Variablen, Substitution....Pages 15-16
Ein Kalkül für die Termlogik....Pages 17-20
Gleichwertigkeit von ╟ und ├. Korrektheit der Regeln....Pages 21-22
Übersicht über den Vollständigkeitsbeweis....Pages 23-23
Termisomorphismen....Pages 24-25
Maximalisierung von M φ ....Pages 26-27
Verallgemeinerte Substitution....Pages 28-34
Erfüllbarkeit von M*. Die Terme s und t sollen (relativ zu M*)....Pages 35-39
Survey of the proof of the Theorem on satisfiability....Pages 42-46
Details of the proof....Pages 47-51
Completeness of restricted term calculus....Pages 52-52
Back Matter....Pages 40-42