Zusammenfassung
In den Hilberttypkalkülen haben wir den Wahrheitsbegriff alt primär angesehen.In den Sequenzenkalkülen wird nun versucht, den Beweisgedanken direkt zu axiomatisieren und den Wahrheitsbegriff erst später anzugehen. Genauer gesagt wird die Relation “Eine (endliche) Menge oder Folge von Prämissen impliziert eine gewisse Konklusion” untersucht. Der Begriff “implizieren” ist uns bisher auf dreierlei verschiedene Weisen begegnet:
-
Als syntaktisches Zeichen ⊃,
-
als semantischer Ableitungsoperator ╞,
-
als syntaktischer Ableitungsoperator ⊢.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1978 B. G. Teubner, Stuttgart
About this chapter
Cite this chapter
Richter, M.M. (1978). Gentzensysteme. In: Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik LAMM, vol 43. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-91208-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-322-91208-4_4
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-519-02345-6
Online ISBN: 978-3-322-91208-4
eBook Packages: Springer Book Archive