Vollstandige Systeme Modaler und Intuitionistischer Logik (German, Paperback, Softcover reprint of the original 1st ed. 1968)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Ergebnisse der Mathematik und Ihrer Grenzgebiete. 2. Folge, 42
Release date:	July 2012
First published:	1968
Authors:	K. Schutte
Dimensions:	235 x 155 x 5mm (L x W x T)
Format:	Paperback
Pages:	88
Edition:	Softcover reprint of the original 1st ed. 1968
ISBN-13:	978-3-642-88665-2
Languages:	German
Categories:	Books > Science & Mathematics > Mathematics > General
LSN:	3-642-88665-5
Barcode:	9783642886652

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!