Normal view MARC view ISBD view

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / [electronic resource] Walter A. Carnielli and Luiz Paulo de Alcantara, editors. - Providence, R.I. : American Mathematical Society, c1988. - 1 online resource (xi, 250 p.) - Contemporary mathematics, v. 69 0271-4132 (print); 1098-3627 (online); . - Contemporary mathematics (American Mathematical Society) ; v. 69. .

Sponsored by the Sociedade Brasileira de L�ogica, Sociedade Brasileira de Matem�atica, and the Association for Symbolic Logic.

Includes bibliographies.

The scientific work of A. I. Arruda / Reflection properties induced by some large cardinal axioms / Taxonometric partitions / Diamonds, large cardinals, and ultrafilters / Constantes d'une alg�ebre monadique libre sur une alg�ebre de Boole et automorphismes pr�eservant une partie g�en�eratrice de celle-ci / Ordered structures in the description of quantum systems: mathematical progress / Infinities in mathematics and the natural sciences / The 50th anniversary of Gentzen's thesis / 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 L�owenheim-Skolem theorem for $L$-structures in $\Omega $-sets / The derivative of truth in �ukasiewicz sentential calculus / Equivalence relations on lattices and the complexity of the theory of permutations which commute / Problem solving by interpretation of theories / Newton C. A. da Costa and Luiz Paulo de Alcantara -- Carlos A. Di Prisco and Wiktor Marek -- A. Ehrenfeucht, M. Foreman and J. Malitz -- Akihiro Kanamori -- Marcel Guillaume -- Luisa Iturrioz -- Jens Erik Fenstad -- Andr�es R. Raggio -- X. Caicedo and A.-M. Sette -- Rolando Chuaqui -- Richard L. Epstein -- J�org Flum -- Edward Hermann Haeusler -- F. Miraglia -- Daniele Mundici -- Jacques Stern -- Paulo A. S. Veloso -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933797 http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933798 http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933799 http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933800 http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933801 http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933802 http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933803 http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933804 http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933805 http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933806 http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933807 http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933808 http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933809 http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933810 http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933811 http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933812 http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933813

Access is restricted to licensed institutions


Electronic reproduction.
Providence, Rhode Island :
American Mathematical Society.
2012


Mode of access : World Wide Web

ISBN: 9780821876589 (online)

Subjects--Topical Terms:
Logic, Symbolic and mathematical--Congresses.

LC Class. No.: QA9.A1 / L37 1985

Dewey Class. No.: 511.3