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.

Export metadata

  • Export Bibtex
  • Export RIS

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Wolfgang Eiden
URN (permanent link):urn:nbn:de:hbz:386-kluedo-8061
Document Type:Article
Language of publication:German
Year of Completion:2000
Year of Publication:2000
Publishing Institute:Technische Universität Kaiserslautern
Tag:Kalkül ; Kalkül des natürlichen Schließens; Logik ; Tableau-Kalkül ; formale Logik
Faculties / Organisational entities:Fachbereich Mathematik
DDC-Cassification:510 Mathematik
MSC-Classification (mathematics):03B05 Classical propositional logic
03B30 Foundations of classical theories (including reverse mathematics) [See also 03F35]
03B35 Mechanization of proofs and logical operations [See also 68T15]

$Rev: 12793 $