Refine
Year of publication
- 2000 (1)
Document Type
- Article (1) (remove)
Language
- German (1)
Has Fulltext
- yes (1)
Keywords
- Kalkül des natürlichen Schließens (1) (remove)
Faculty / Organisational entity
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.