Zusammenfassung
Wir definieren formale Systeme, die mit M* und S4* äquivalent sind, aber im Unterschied zu jenen Systemen auf Grundschlüssen beruhen, nach denen die Herleitungen im Sinne von Gentzen umweglos geführt werden. Diese Systeme werden wir gebrauchen, um den Vollständigkeitssatz auf einem anderen Wege als in § 4 mit möglichst konstruktiven Methoden zu beweisen und eine Einbettung der intuitionistischen Prädikatenlogik in die Modalitätenlogik vorzunehmen.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1968 Springer-Verlag Berlin · Heidelberg
About this chapter
Cite this chapter
Schütte, K. (1968). Syntaktische Eigenschaften schnittfreier Modalitätensysteme. In: Vollständige Systeme modaler und intuitionistischer Logik. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol 42. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-88664-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-88664-5_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-88665-2
Online ISBN: 978-3-642-88664-5
eBook Packages: Springer Book Archive