Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
