Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
Saved in:
| Meeting name: | Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas) |
|---|---|
| Imprint: | Providence, R.I. : American Mathematical Society, c1988. |
| Description: | xi, 250 p. ; 25 cm. |
| Language: | English |
| Series: | Contemporary mathematics, 0271-4132 ; v. 69 Contemporary mathematics (American Mathematical Society) v. 69. |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/892328 |
Table of Contents:
- The scientific work of A. I. Arruda
- Section I. Foundations of set theory: Reflection properties induced by some large cardinal axioms
- Taxonometric partitions
- Diamonds, large cardinals, and ultrafilters
- Section II. Algebraic logic: Constantes d'une algebre monadique libre sur une algebre de Boole et automorphismes, preeservant une partie generatrice de celle-ci
- Ordered structures in the description of quantum systems: mathematical progress
- Section III. Philosophical aspects of mathematical logic: Infinities in mathematics and the natural sciences
- The 50th anniversary of Gentzen's thesis
- Section IV. Interactions between logic, mathematics, and computer science: Logics and pseudogroups
- Sets of relational systems as models for stochastic processes
- A general framework for semantics for propositional logics
- Formal languages and topological spaces
- Automatic theorem proving: an attempt to improve readability of proofs generated by resolution
- The downward Lowenheim-Skolem theorem for L-structure in $\Omega$-sets
- The derivative of truth in Lukasiewicz sentential calculus
- Equivalence relations on lattices and the complexity of the theory of permutations which commute
- Problem solving by interpretation of theories
