This volume constitutes the proceedings of the Seventh Latin American Symposium on Mathematical Logic, held July 29-August 2, 1985, at the University of Campinas in Brazil. Striking a balance between breadth of scope and depth of results, the papers in this collection range over a variety of topics in classical and non-classical logics. This book provides readers with an introduction to the active lines of research in mathematical logic and particularly emphasizes the connections to other fields, especially philosophy, computer science, and probability theory. The potential applicability of the mathematical methods studied in logic has become important because various areas - such as software engineering, mathematical biology, physics, and linguistics - now appear to need mathematical methods of the kind studied in logic.
The scientific work of A. I. Arruda by N. C. A. da Costa and L. P. de Alcantara Section I - Foundations of set theory: Reflection properties induced by some large cardinal axioms by C. A. Di Prisco and W. Marek Taxonometric partitions by A. Ehrenfeucht, M. Foreman, and J. Malitz Diamonds, large cardinals, and ultrafilters by A. Kanamori Section II - Algebraic logic: Constantes d'une algebre monadique libre sur une algebre de Boole et automorphismes, preeservant une partie generatrice de celle-ci by M. Guillaume Ordered structures in the description of quantum systems: mathematical progress by L. Iturrioz Section III - Philosophical aspects of mathematical logic: Infinities in mathematics and the natural sciences by J. E. Fenstad The 50th anniversary of Gentzen's thesis by A. R. Raggio Section IV - Interactions between logic, mathematics, and computer science: Logics and pseudogroups by X. Caicedo and A. M. Sette Sets of relational systems as models for stochastic processes by R. Chuaqui A general framework for semantics for propositional logics by R. L. Epstein Formal languages and topological spaces by J. Flum Automatic theorem proving: an attempt to improve readability of proofs generated by resolution by E. H. Haeusler The downward Lowenheim-Skolem theorem for L-structure in $\Omega$-sets by F. Miraglia The derivative of truth in Lukasiewicz sentential calculus by D. Mundici Equivalence relations on lattices and the complexity of the theory of permutations which commute by J. Stern Problem solving by interpretation of theories by P. A. S. Veloso.