Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic (eBook)

Front Cover 1
Mathematical Logic in Latin America 4
Copyright Page 5
CONTENTS 12
Preface 8
Program of the Seminar 10
Program of the Symposium 10
Chapter 1 A survey of paraconsistent logic 14
Chapter 2 On strong axioms of induction in set theory and arithmetic 56
Chapter 3 Toward a concept of scientific theory through special relativity 70
Chapter 4 The consistency of a higher order predicate calculus and set theory based on combinatory logic 86
Chapter 5 Back-and-forth systems for arbitrary quantifiers 96
Chapter 6 Foundations of statistical methods using a semantical definition of probability 116
Chapter 7 Parameters in theories of classes 134
Chapter 8 A model–theoretical approach to variable binding term operators 146
Chapter 9 The model theory of FC-Groups 176
Chapter 10 Semantical models for intuitionistic logics 204
Chapter 11 Truth, probability and set theory 222
Chapter 12 Compact fragments of higher order logic 232
Chapter 13 A closure for partial algebras 252
Chapter 14 Topological duality theory in algebraic logic 268
Chapter 15 Satisfaction definitions and axioms of infinity in a theory of properties with necessity operator 280
Chapter 16 Problems and solutions in semantics of quantified relevant logics I 318
Chapter 17 A characterization of principal congruences of de Morgan algebras and its applications 354
Chapter 18 Axiomatizations for s -additive measurement structures 364
Chapter 19 Functorial approach to interpretability 378
Chapter 20 On PCd(A)-classes for an admissible set A 390