Verwandte Artikel zu Vollständige Systeme modaler und intuitionistischer...
Vollständige Systeme modaler und intuitionistischer Logik (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, Band 42) - Softcover
Inhaltsangabe
I. Modalitätensysteme im Rahmen der klassischen Prädikatenlogik.- § 1. Die formalen Systeme M* und S4*.- § 2. Modelle der Modalitätenlogik.- § 3. Beweis des Konsistenzsatzes.- § 4. Nichtkonstruktiver Beweis des Vollständigkeitssatzes.- II. Syntaktische Eigenschaften schnittfreier Modalitätensysteme.- § 5. Die formalen Systeme M? und S4?.- § 6. Zulässige Schlüsse.- § 7. Herleitbare Formeln.- III. Beweis des Vollständigkeitssatzes für M? und S4?.- § 8. Formelbäume und Reduktionsbäume.- § 9. Beweis des syntaktischen Hauptlemmas.- §10. Beweis des semantischen Hauptlemmas.- IV. Einbettung der intuitionistischen Prädikatenlogik in S4?.- §11. Formales System IL der intuitionistischen Prädikatenlogik....- § 12. I-Formeln des Systems S4?.- § 13. I-Ausdrücke des Systems S4?.- V. Semantik der intuitionistischen Prädikatenlogik nach Kripke.- §14. Modelle der intuitionistischen Prädikatenlogik.- §15. Modelle der intuitionistischen Aussagenlogik.- §16. Intuitionistische Gültigkeit und Erfüllbarkeit.- VI. Semantik der intuitionistischen Prädikatenlogik nach Beth.- § 17. Beth-Modelle.- § 18. Umformung eines Baum-Modelles in ein Beth-Modell.- §19. Gültigkeits- und Erfüllbarkeitseigenschaften.- VII. Aussagenlogische Modalitätensysteme.- § 20. Die formalen Systeme M, S4, Br und S5.- § 21. Modelle der aussagenlogischen Modalitätensysteme.- § 22. Konstruktiver Beweis des Vollständigkeitssatzes.- § 23. Topologische Modelle des Systems S4.- Literatur.- Namen- und Sachverzeichnis.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Vollständige Systeme modaler und intuitionistischer...
Beispielbild für diese ISBN
Sch?tte:Vollst?ndige Systeme modaler un (ger)
Print-on-DemandAnbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers 4LS6P6K2QK
Neu kaufen
EUR 47,34
EUR 5,50 Versand
Versand von Italien nach USA
Versand von Italien nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
VollstAndige Systeme modaler und intuitionistischer Logik
Print-on-DemandAnbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PF. Zustand: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Bestandsnummer des Verkäufers 6666-IUK-9783642886652
Neu kaufen
EUR 57,86
EUR 5,33 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 20 verfügbar
Beispielbild für diese ISBN
Vollstandige Systeme Modaler Und Intuitionistischer Logik -Language: German
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 18787579-n
Neu kaufen
EUR 62,78
EUR 2,35 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Vollstandige Systeme Modaler Und Intuitionistischer Logik -Language: German
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 18787579
Gebraucht kaufen
EUR 69,10
EUR 2,35 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Vollständige Systeme modaler und intuitionistischer Logik (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 42) (German Edition)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In English. Bestandsnummer des Verkäufers ria9783642886652_new
Neu kaufen
EUR 66,44
EUR 11,12 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Vollständige Systeme modaler und intuitionistischer Logik
Verlag:
Springer Berlin Heidelberg Mrz 2012, 2012
ISBN 10: 3642886655
ISBN 13: 9783642886652
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 100 pp. Deutsch. Bestandsnummer des Verkäufers 9783642886652
Neu kaufen
EUR 54,99
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Vollst?ndige Systeme modaler und intuitionistischer Logik
Anbieter: Books Puddle, Woodside, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 102. Bestandsnummer des Verkäufers 2654499783
Neu kaufen
EUR 83,01
EUR 3,56 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Foto des Verkäufers
Vollständige Systeme modaler und intuitionistischer Logik
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9783642886652
Neu kaufen
EUR 54,99
EUR 35,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Vollst?ndige Systeme modaler und intuitionistischer Logik
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 102 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 55059992
Neu kaufen
EUR 84,29
EUR 7,71 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Vollst?ndige Systeme modaler und intuitionistischer Logik
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 102. Bestandsnummer des Verkäufers 1854499789
Neu kaufen
EUR 84,75
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar