Non-Classical Logics, Model Theory, And Computability (eBook)

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