Non-Classical Logics, Model Theory, and Computability
Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Published on 14. May 2014
329 pages
978-0-08-095498-1 (ISBN)
Description
Non-Classical Logics, Model Theory, And Computability
More details
Series
Language
English
Place of publication
Burlington
Netherlands
ISBN-13
978-0-08-095498-1 (9780080954981)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Lev D. Beklemishev
Provability, Computability and Reflection: Volume 89
Book
04/2000
Elsevier
€252.97
Article exhausted; check different version
Content
- Front Cover
- Non-Classical Logics, Model Theory, and Computability
- Copyright Page
- Contents
- Preface
- Introduction: A Short History of the Latin American Logic Symposia
- PART I: NON CLASSICAL LOGICS
- Chapter 1. On the imaginary logic of N.A. Vasil'év
- Chapter 2. Formalizing multiple location
- Chapter 3. On Jaskowski's discussive logic
- Chapter 4. On some modal logical systems defined in connection with Jaskowski's problem
- Chapter 5. Infinite rules in finite systems
- Chapter 6. Some remarks on discussive logic
- PART II: MODEL THEORY
- Chapter 7. Some directions in model theory
- Chapter 8. A semantical definition of probability
- Chapter 9. The equivalence of some axioms of strong infinity
- Chapter 10. Present problems about intervals in relation-theory and logic
- Chapter 11. Projective logics and projective Boolean algebras
- Chapter 12. Some theorems on omitting types, with applications to model completeness, amalgamation, and related properties
- Chapter 13. Semi-formal Beth tableaux
- Chapter 14. Quantifier elimination in fields
- PART III: COMPUTABILITY
- Chapter 15. On the decision problem of the congruence lattices of pseudocomplemented semilattices
- Chapter 16. Polynomially bounded quantification over higher types and a new hierarchy of the elementary sets
- Chapter 17. On random R.E. sets
- Errata for "On random r. e. sets
