Aussagenlogische Kalküle der zweiwertigen Logik
- Ein Teilaspekt der formalen Logik besteht in der Untersuchung wie die logischen Konsequenzen (insbesondere die Tautologien) einer vorgegebenen Formelmenge unter Verwendung gewisser Reglements schrittweise hergeleitet werden können. Hierbei ist die Logik bestimmt durch eine konsequente Trennung von Syntax und Semantik. Diese Abhandlung stellt exemplarisch das Tableau-Kalkül und das Kalkül des natürlichen Schließens vor.
Author: | Wolfgang Eiden |
---|---|
URN: | urn:nbn:de:hbz:386-kluedo-8061 |
Document Type: | Article |
Language of publication: | German |
Year of Completion: | 2000 |
Year of first Publication: | 2000 |
Publishing Institution: | Technische Universität Kaiserslautern |
Date of the Publication (Server): | 2000/01/04 |
Tag: | Kalkül; Kalkül des natürlichen Schließens; Logik; Tableau-Kalkül; formale Logik |
Faculties / Organisational entities: | Kaiserslautern - Fachbereich Mathematik |
DDC-Cassification: | 5 Naturwissenschaften und Mathematik / 510 Mathematik |
MSC-Classification (mathematics): | 03-XX MATHEMATICAL LOGIC AND FOUNDATIONS / 03Bxx General logic / 03B05 Classical propositional logic |
03-XX MATHEMATICAL LOGIC AND FOUNDATIONS / 03Bxx General logic / 03B30 Foundations of classical theories (including reverse mathematics) [See also 03F35] | |
03-XX MATHEMATICAL LOGIC AND FOUNDATIONS / 03Bxx General logic / 03B35 Mechanization of proofs and logical operations [See also 68T15] | |
Licence (German): | Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011 |