Für diesen Artikel ist leider kein Bild verfügbar.

Truth, Syntax and Modality (eBook)

eBook Download: PDF
2000 | 1. Auflage
316 Seiten
Elsevier Science (Verlag)
978-0-08-095479-0 (ISBN)
Systemvoraussetzungen
218,24 inkl. MwSt
  • Download sofort lieferbar
  • Zahlungsarten anzeigen
Provability, Computability and Reflection
Truth, Syntax and Modality

Front Cover 1
Truth, Syntax and Modality 4
Copyright Page 5
Contents 8
Foreword 6
Chapter 1. Semantic Deviations 10
Chapter 2. Quantifying in and out of Quotes 26
Chapter 3. Restricted Quantification and Conditional Assertion 57
Chapter 4. In Defense of Convention 85
Chapter 5. A Truth Value Semantics for Modal Logic 96
Chapter 6. Propositional Quantification and Quotation Contexts 110
Chapter 7. Internal Semantics and Algebraic Logic 120
Chapter 8. Surface Semantics: Definition and Its Motivation 137
Chapter 9. Truth-Functionality and the Ramified Theory of Types 157
Chapter 10. Intuitionism, Entailment 177
Chapter 11. The Semantics of Entailment 208
Chapter 12. Background to Formalization 253
Chapter 13. A Generalization of Intuitionistic and Modal Logics 283
Chapter 14. Philosophy and Formal Semantics 303
Chapter 15. Logical Consequence in Modal Logic: Alternative Semantic Systems for Normal Modal Logics 317

Erscheint lt. Verlag 1.4.2000
Sprache englisch
Themenwelt Informatik Software Entwicklung User Interfaces (HCI)
Informatik Theorie / Studium Algorithmen
Mathematik / Informatik Mathematik Logik / Mengenlehre
Naturwissenschaften
Technik
ISBN-10 0-08-095479-0 / 0080954790
ISBN-13 978-0-08-095479-0 / 9780080954790
Haben Sie eine Frage zum Produkt?
PDFPDF (Adobe DRM)

Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos). Von der Benutzung der OverDrive Media Console raten wir Ihnen ab. Erfahrungsgemäß treten hier gehäuft Probleme mit dem Adobe DRM auf.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine Adobe-ID sowie eine kostenlose App.
Geräteliste und zusätzliche Hinweise

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
Eine praxisorientierte Einführung mit Anwendungen in Oracle, SQL …

von Edwin Schicker

eBook Download (2017)
Springer Vieweg (Verlag)
34,99
Unlock the power of deep learning for swift and enhanced results

von Giuseppe Ciaburro

eBook Download (2024)
Packt Publishing (Verlag)
35,99