Formal Theories of Occurrences and Substitutions

DSpace Repository


Dateien:

URI: http://hdl.handle.net/10900/106175
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1061750
http://dx.doi.org/10.15496/publikation-47553
Dokumentart: PhDThesis
Date: 2020-09-03
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
Advisor: Schroeder-Heister, Peter (Prof. Dr.)
Day of Oral Examination: 2020-07-20
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
510 - Mathematics
Keywords: Logik , Vorkommen , Logische Sprache , Formale Sprache , Substitution
Other Keywords:
logic
occurrence
formal language
License: http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=en
Show full item record

Inhaltszusammenfassung:

Mathematische Grundlagen und wesentliche Methoden einer formalen Theorie von Vorkommen und Substitutionen werden anhand der Theorie von Vorkommen von Termen in Termen (einer erststufigen formalen Sprache der Logik) eingeführt. Darauf aufbauend werden intuitive Begriffe (etwa Unabhängigkeit von Vorkommen oder mathematische Rechenschritte) formal definiert und so einer mathematischen Argumentation zugänglich gemacht. Es werden exemplarisch Probleme diskutiert, die nur mithilfe einer formalen Theorie von Vorkommen gelöst werden können. Insbesondere wird der Begriff einer (expliziten) Substitutionsfunktion basierend auf dem Begriff der Substitution eingeführt, und es wird gezeigt, inwiefern diese Funktionen mit denen zusammenhängen, die üblicherweise als Substitutionsfunktion bezeichnet werden.

This item appears in the following Collection(s)