Integration und Uniformierung von Methoden des tableaubasierten Theorembeweisens [online]

Bernhard Beckert
1999
Viele haben mir in der einen oder anderen Weise geholfen, während ich diese Dissertation geschrieben habe; ohne ihre Unterstützung wäre sie nicht entstanden. Mein Dank gilt: -Prof. Peter H. Schmitt für seine hervorragende Betreuung und dafür, daß er mir die Möglichkeit gegeben hat in seiner Gruppe mit ihrer freundlichen und produktiven Atmosphäre zu arbeiten; -Prof. Jacques Calmet für fruchtbare Diskussionen und dafür, daß er sich bereit erklärt hat, Zweitgutachter bei meiner Promotion zu sein;
more » ... Promotion zu sein; -meinen Kollegen und Freunden Wolfgang Ahrendt, Reiner Hähnle, Christian Pape und Joachim Posegga für all ihre Unterstützung und viele anregende Diskussionen; -Prof. Dov Gabbay dafür, daß er mir die Möglichkeit gegeben hat, seine Gruppe am Imperial College zu besuchen, daß er mir einen Teil seines riesigen Wissens auf allen Teilgebieten der Logik vermittelt hat und daß er mich angeregt hat, die Methode des Faserns auf Tableaukalküle anzuwenden; -Rajeev Goré, denn, mit ihm zusammenzuarbeiten, ist immer produktiv -auch wenn er auf der anderen Seite des Planeten ist; -Ulrike Hartmer, die die Details der Kalküle für Fragmente der Mengentheorie ausgearbeitet hat, die in dieser Dissertation beschrieben sind; v vi Vorwort -all den vielen Anderen, die mir einen Rat oder Hinweis gegeben haben, zu denen
doi:10.5445/ir/107599 fatcat:gihyav5d7rcjnd7wqgt36isfwe