Non-Classical Logics, Model Theory, And Computability (eBook)
306 Seiten
Elsevier Science (Verlag)
9780080954981 (ISBN)
Non-Classical Logics, Model Theory, And Computability
Front Cover 1
Non-Classical Logics, Model Theory, and Computability 4
Copyright Page 5
Contents 8
Preface 6
Introduction: A Short History of the Latin American Logic Symposia 10
PART I: NON CLASSICAL LOGICS 20
Chapter 1. On the imaginary logic of N.A. Vasil'év 22
Chapter 2. Formalizing multiple location 44
Chapter 3. On Jaskowski's discussive logic 56
Chapter 4. On some modal logical systems defined in connection with Jaskowski's problem 76
Chapter 5. Infinite rules in finite systems 94
Chapter 6. Some remarks on discussive logic 118
PART II: MODEL THEORY 134
Chapter 7. Some directions in model theory 136
Chapter 8. A semantical definition of probability 154
Chapter 9. The equivalence of some axioms of strong infinity 188
Chapter 10. Present problems about intervals in relation-theory and logic 198
Chapter 11. Projective logics and projective Boolean algebras 220
Chapter 12. Some theorems on omitting types, with applications to model completeness, amalgamation, and related properties 242
Chapter 13. Semi-formal Beth tableaux 258
Chapter 14. Quantifier elimination in fields 262
PART III: COMPUTABILITY 272
Chapter 15. On the decision problem of the congruence lattices of pseudocomplemented semilattices 274
Chapter 16. Polynomially bounded quantification over higher types and a new hierarchy of the elementary sets 286
Chapter 17. On random R.E. sets 302
Errata for "On random r. e. sets" 328
| Erscheint lt. Verlag | 1.4.2000 |
|---|---|
| Sprache | englisch |
| Themenwelt | Informatik ► Software Entwicklung ► User Interfaces (HCI) |
| Informatik ► Theorie / Studium ► Algorithmen | |
| Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Naturwissenschaften | |
| Technik | |
| ISBN-13 | 9780080954981 / 9780080954981 |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
PDF (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 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 eine
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
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.
aus dem Bereich
