Zusammenfassung
Dieses Kapitel kann beim ersten Lesen überschlagen werden und ist etwas kürzer gefaßt. Es wird in ihm eine reizvolle zweite logische Algebra vorgeführt, die sich lediglich auf die aussagenlogischen Verknüpfungen → und ⌝ (und eine eingeschränkte, durch bloße Kommata mitgeteilte konjunktive Verknüpfung) bezieht und an der man erkennt, wie die gleichen beweistheoretischen Grundideen sich mutatis mutandis auch in anderem Gewände bewähren.
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
© 1959 Springer-Verlag OHG. Berlin · Göttingen · Heidelberg
About this chapter
Cite this chapter
Schmidt, H.A. (1959). Algebra der →⌝-Logik. In: Mathematische Gesetze der Logik I. Die Grundlehren der Mathematischen Wissenschaften, vol 69. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-94780-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-94780-3_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-94781-0
Online ISBN: 978-3-642-94780-3
eBook Packages: Springer Book Archive