Band 42
Vollständige Systeme modaler und intuitionistischer Logik
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Deutsch
Fr. 74.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
30.03.2012
Abbildungen
VIII, 88 S.
Verlag
Springer BerlinSeitenzahl
88
Maße (L/B/H)
23.5/15.5/0.6 cm
Gewicht
166 g
Auflage
Softcover reprint of the original 1st ed. 1968
Sprache
Deutsch
ISBN
978-3-642-88665-2
s. A: KIuPKB entwickelte in einer einheitIichen Systematik vollstlindige Interpretationen fiir viele Systeme der Modalitatenlogik, die vorber nur syn taktisch fixiert waren. Hiermit ergab sich auf dem Wege tiber eine quantoren logische Erweiterung des Modalitatensystems S4 zugleich eine Semantik fUr die intuitionistische Priidikatenlogik:. Der vorliegende Ergebnisbericht behandelt im Rahmen der klassischen Priidikatenlogik: zwei Modalitatensysteme, deren aussagenlogische Teile mit den Systemen M von v. WRIGHT und S4 von LEWIS tibereinstimmen. Es gibt verschiedene Moglichkeiten, aussagenlogische Modalitatensysteme quantoren logisch zu erweitem. Die hier gewiihlten Erweiterungen sind in einer nabe liegenden Weise so vorgenommen, daB die Barcan-Formel (Seite 7) ungiiltig, aber ihre Umkehrung giiltig ist. Fiir die Kripke-Semantik dieser Systeme wird im m. Kapitel ein Voll stlindigkeitsbeweis nach den Methoden von KIuPKE [13] durchgefiihrt. Bin einfacherer Vollstiindigkeitsbeweis, der aber wesentIich weniger konstruktiv ist, wird in
4 in Verallgemeinerung der Methode von HENKIN [7] gegeben. Durch eine Binbettung der intuitionistischen Priidikatenlogik: in das quan torenlogische Modalitatensystem S4' flihrt die Semantik des Systems S4' zur Kripke-Semantik der intuitionistischen Priidikatenlogik. Diese Semantik wird im V. Kapitel systematisch behandelt und im VI. Kapitel (iihnlich wie in KIuPKB [J3D mit der Semantik von BETH in Beziehung gebracht.
4 in Verallgemeinerung der Methode von HENKIN [7] gegeben. Durch eine Binbettung der intuitionistischen Priidikatenlogik: in das quan torenlogische Modalitatensystem S4' flihrt die Semantik des Systems S4' zur Kripke-Semantik der intuitionistischen Priidikatenlogik. Diese Semantik wird im V. Kapitel systematisch behandelt und im VI. Kapitel (iihnlich wie in KIuPKB [J3D mit der Semantik von BETH in Beziehung gebracht.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.