Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
Author(s)
Bibliographic Information
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
(Contemporary mathematics, v. 69)
American Mathematical Society, c1988
Available at 50 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Sponsored by the Sociedade Brasileira de Lógica, Sociedade Brasileira de Matemática, and the Association for Symbolic Logic
The symposium held at the State University of Campinas (UNICAMP) in Campinas, São Paulo State, Brazil
Description and Table of Contents
Description
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.
Table of Contents
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.
by "Nielsen BookData"