Eine Termlogik mit Auswahloperator

Hans Hermes (auth.)9783540033509

Table of contents :
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
Rang, 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 * ….Pages 35-39