| eBook ISBN: | 978-0-8218-7658-9 |
| Product Code: | CONM/69.E |
| List Price: | $125.00 |
| MAA Member Price: | $112.50 |
| AMS Member Price: | $100.00 |
| eBook ISBN: | 978-0-8218-7658-9 |
| Product Code: | CONM/69.E |
| List Price: | $125.00 |
| MAA Member Price: | $112.50 |
| AMS Member Price: | $100.00 |
-
Book DetailsContemporary MathematicsVolume: 69; 1988; 250 ppMSC: Primary 03
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. 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 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
-
Articles
-
Newton C. A. da Costa and Luiz Paulo de Alcantara — The scientific work of A. I. Arruda [ MR 933797 ]
-
Foundations of Set Theory [ MR 933796 ]
-
Carlos A. Di Prisco and Wiktor Marek — Reflection properties induced by some large cardinal axioms [ MR 933798 ]
-
A. Ehrenfeucht, M. Foreman and J. Malitz — Taxonometric partitions [ MR 933799 ]
-
Akihiro Kanamori — Diamonds, large cardinals, and ultrafilters [ MR 933800 ]
-
Algebraic Logic [ MR 933796 ]
-
Marcel Guillaume — Constantes d’une algèbre monadique libre sur une algèbre de Boole et automorphismes préservant une partie génératrice de celle-ci [ MR 933801 ]
-
Luisa Iturrioz — Ordered structures in the description of quantum systems: mathematical progress [ MR 933802 ]
-
Philosophical Aspects of Mathematical Logic [ MR 933796 ]
-
Jens Erik Fenstad — Infinities in mathematics and the natural sciences [ MR 933803 ]
-
Andrés R. Raggio — The 50th anniversary of Gentzen’s thesis [ MR 933804 ]
-
Interactions between Logic, Mathematics and Computer Science [ MR 933796 ]
-
X. Caicedo and A.-M. Sette — Logics and pseudogroups [ MR 933805 ]
-
Rolando Chuaqui — Sets of relational systems as models for stochastic processes [ MR 933806 ]
-
Richard L. Epstein — A general framework for semantics for propositional logics [ MR 933807 ]
-
Jörg Flum — Formal languages and topological spaces [ MR 933808 ]
-
Edward Hermann Haeusler — Automatic theorem proving: an attempt to improve readability of proofs generated by resolution [ MR 933809 ]
-
F. Miraglia — The downward Löwenheim-Skolem theorem for $L$-structures in $\Omega $-sets [ MR 933810 ]
-
Daniele Mundici — The derivative of truth in Łukasiewicz sentential calculus [ MR 933811 ]
-
Jacques Stern — Equivalence relations on lattices and the complexity of the theory of permutations which commute [ MR 933812 ]
-
Paulo A. S. Veloso — Problem solving by interpretation of theories [ MR 933813 ]
-
-
RequestsReview Copy – for publishers of book reviewsPermission – for use of book, eBook, or Journal contentAccessibility – to request an alternate format of an AMS title
- Book Details
- Table of Contents
- Requests
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. 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 areas—such as software engineering, mathematical biology, physics, and linguistics—now appear to need mathematical methods of the kind studied in logic.
-
Articles
-
Newton C. A. da Costa and Luiz Paulo de Alcantara — The scientific work of A. I. Arruda [ MR 933797 ]
-
Foundations of Set Theory [ MR 933796 ]
-
Carlos A. Di Prisco and Wiktor Marek — Reflection properties induced by some large cardinal axioms [ MR 933798 ]
-
A. Ehrenfeucht, M. Foreman and J. Malitz — Taxonometric partitions [ MR 933799 ]
-
Akihiro Kanamori — Diamonds, large cardinals, and ultrafilters [ MR 933800 ]
-
Algebraic Logic [ MR 933796 ]
-
Marcel Guillaume — Constantes d’une algèbre monadique libre sur une algèbre de Boole et automorphismes préservant une partie génératrice de celle-ci [ MR 933801 ]
-
Luisa Iturrioz — Ordered structures in the description of quantum systems: mathematical progress [ MR 933802 ]
-
Philosophical Aspects of Mathematical Logic [ MR 933796 ]
-
Jens Erik Fenstad — Infinities in mathematics and the natural sciences [ MR 933803 ]
-
Andrés R. Raggio — The 50th anniversary of Gentzen’s thesis [ MR 933804 ]
-
Interactions between Logic, Mathematics and Computer Science [ MR 933796 ]
-
X. Caicedo and A.-M. Sette — Logics and pseudogroups [ MR 933805 ]
-
Rolando Chuaqui — Sets of relational systems as models for stochastic processes [ MR 933806 ]
-
Richard L. Epstein — A general framework for semantics for propositional logics [ MR 933807 ]
-
Jörg Flum — Formal languages and topological spaces [ MR 933808 ]
-
Edward Hermann Haeusler — Automatic theorem proving: an attempt to improve readability of proofs generated by resolution [ MR 933809 ]
-
F. Miraglia — The downward Löwenheim-Skolem theorem for $L$-structures in $\Omega $-sets [ MR 933810 ]
-
Daniele Mundici — The derivative of truth in Łukasiewicz sentential calculus [ MR 933811 ]
-
Jacques Stern — Equivalence relations on lattices and the complexity of the theory of permutations which commute [ MR 933812 ]
-
Paulo A. S. Veloso — Problem solving by interpretation of theories [ MR 933813 ]
