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.

Download full text files

Export metadata

Additional Services

Search Google Scholar
Metadaten
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