Cargando…
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Provability, Computability and Reflection.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York : New York :
North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier North-Holland,
1980.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 99. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- Front Cover; Mathematical Logic in Latin America; Copyright Page; CONTENTS; Preface; Program of the Seminar; Program of the Symposium; Chapter 1 A survey of paraconsistent logic; Chapter 2 On strong axioms of induction in set theory and arithmetic; Chapter 3 Toward a concept of scientific theory through special relativity; Chapter 4 The consistency of a higher order predicate calculus and set theory based on combinatory logic; Chapter 5 Back-and-forth systems for arbitrary quantifiers; Chapter 6 Foundations of statistical methods using a semantical definition of probability
- Chapter 7 Parameters in theories of classesChapter 8 A model-theoretical approach to variable binding term operators; Chapter 9 The model theory of FC-Groups; Chapter 10 Semantical models for intuitionistic logics; Chapter 11 Truth, probability and set theory; Chapter 12 Compact fragments of higher order logic; Chapter 13 A closure for partial algebras; Chapter 14 Topological duality theory in algebraic logic; Chapter 15 Satisfaction definitions and axioms of infinity in a theory of properties with necessity operator
- Chapter 16 Problems and solutions in semantics of quantified relevant logics IChapter 17 A characterization of principal congruences of de Morgan algebras and its applications; Chapter 18 Axiomatizations for s -additive measurement structures; Chapter 19 Functorial approach to interpretability; Chapter 20 On PCd(A)-classes for an admissible set A