Contemporary Mathematics 1988; 250 pp; softcover Volume: 69 ISBN10: 0821850768 ISBN13: 9780821850763 List Price: US$44 Member Price: US$35.20 Order Code: CONM/69
 This volume constitutes the proceedings of the Seventh Latin American Symposium on Mathematical Logic, held July 29August 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 nonclassical logics. The 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 areassuch as software engineering, mathematical biology, physics, and linguisticsnow appear to need mathematical methods of the kind studied in logic. Table of Contents  N. C. A. da Costa and L. P. de Alcantara  The scientific work of A. I. Arruda
Section I  Foundations of set theory  C. A. Di Prisco and W. Marek  Reflection properties induced by some large cardinal axioms
 A. Ehrenfeucht, M. Foreman, and J. Malitz  Taxonometric partitions
 A. Kanamori  Diamonds, large cardinals, and ultrafilters
Section II  Algebraic logic  M. Guillaume  Constantes d'une algèbre monadique libre sur une algèbre de Boole et automorphismes, preéservant une partie génératrice de celleci
 L. Iturrioz  Ordered structures in the description of quantum systems: mathematical progress
Section III  Philosophical aspects of mathematical logic  J. E. Fenstad  Infinities in mathematics and the natural sciences
 A. R. Raggio  The 50th anniversary of Gentzen's thesis
Section IV  Interactions between logic, mathematics, and computer science  X. Caicedo and A. M. Sette  Logics and pseudogroups
 R. Chuaqui  Sets of relational systems as models for stochastic processes
 R. L. Epstein  A general framework for semantics for propositional logics
 J. Flum  Formal languages and topological spaces
 E. H. Haeusler  Automatic theorem proving: an attempt to improve readability of proofs generated by resolution
 F. Miraglia  The downward LöwenheimSkolem theorem for Lstructure in \(\Omega\)sets
 D. Mundici  The derivative of truth in Łukasiewicz sentential calculus
 J. Stern  Equivalence relations on lattices and the complexity of the theory of permutations which commute
 P. A. S. Veloso  Problem solving by interpretation of theories
