Conditionals and Modularity in General Logics (eBook)
IX, 233 Seiten
Springer Berlin (Verlag)
978-3-642-19068-1 (ISBN)
This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' uniform picture of conditionals, including many-valued logics and structures on the language elements themselves and on the truth value set. The third topic explained by the authors is neighbourhood semantics, their connection to independence, and their common points and differences for various logics, e.g., for defaults and deontic logic, for the limit version of preferential logics, and for general approximation.
The book will be of value to researchers and graduate students in logic and theoretical computer science.
The first author is one of the foremost authorities on nonclassical logics and their applications in computing, the second author has written three related research monographs.
The first author is one of the foremost authorities on nonclassical logics and their applications in computing, the second author has written three related research monographs.
Introduction; Basic Definitions; Towards a Uniform Picture of Conditionals; Monotone and Antitone Semantic and Syntactic Interpolation; Laws About Size and Interpolation in Nonmonotonic Logics; Neighbourhood Semantics; Conclusion and Outlook; References; Index
| Erscheint lt. Verlag | 19.8.2011 |
|---|---|
| Reihe/Serie | Cognitive Technologies | Cognitive Technologies |
| Zusatzinfo | IX, 233 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Logik |
| Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
| Mathematik / Informatik ► Mathematik | |
| Technik | |
| Schlagworte | conditional logics • Interpolation • Modal Logic • Neighbourhood Semantics • Nonmonotonic Logic • propositional logic |
| ISBN-10 | 3-642-19068-5 / 3642190685 |
| ISBN-13 | 978-3-642-19068-1 / 9783642190681 |
| Haben Sie eine Frage zum Produkt? |
PDF (Wasserzeichen)Größe: 2,7 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
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 dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
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.
aus dem Bereich
