eBook ISBN:  9780821876589 
Product Code:  CONM/69.E 
List Price:  $125.00 
MAA Member Price:  $112.50 
AMS Member Price:  $100.00 
eBook ISBN:  9780821876589 
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 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 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 celleci [ 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öwenheimSkolem 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 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 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 celleci [ 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öwenheimSkolem 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 ]