IMSc Library catalog › Details for: Methods and applications of mathematical logic :

Normal view MARC view ISBD view

Methods and applications of mathematical logic : [electronic resource] proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors.

By: (7th : Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas)Contributor(s): Carnielli, Walter A. (Walter Alexandre) | Alcantara, Luiz Paulo de, 1944- | Sociedade Brasileira de L�ogica | Sociedade Brasileira de Matem�atica | Association for Symbolic LogicMaterial type: Text

TextSeries: Contemporary mathematics (American Mathematical Society) ; v. 69.Publication details: Providence, R.I. : American Mathematical Society, c1988Description: 1 online resource (xi, 250 p.)ISBN: 9780821876589 (online)Subject(s): Logic, Symbolic and mathematical -- CongressesAdditional physical formats: Methods and applications of mathematical logic :DDC classification: 511.3 LOC classification: QA9.A1 | L37 1985Online resources: Contents | Contents

Contents:

The scientific work of A. I. Arruda / Newton C. A. da Costa and Luiz Paulo de Alcantara -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933797 Reflection properties induced by some large cardinal axioms / Carlos A. Di Prisco and Wiktor Marek -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933798 Taxonometric partitions / A. Ehrenfeucht, M. Foreman and J. Malitz -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933799 Diamonds, large cardinals, and ultrafilters / Akihiro Kanamori -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933800 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 / Marcel Guillaume -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933801 Ordered structures in the description of quantum systems: mathematical progress / Luisa Iturrioz -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933802 Infinities in mathematics and the natural sciences / Jens Erik Fenstad -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933803 The 50th anniversary of Gentzen's thesis / Andr�es R. Raggio -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933804 Logics and pseudogroups / X. Caicedo and A.-M. Sette -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933805 Sets of relational systems as models for stochastic processes / Rolando Chuaqui -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933806 A general framework for semantics for propositional logics / Richard L. Epstein -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933807 Formal languages and topological spaces / J�org Flum -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933808 Automatic theorem proving: an attempt to improve readability of proofs generated by resolution / Edward Hermann Haeusler -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933809 The downward L�owenheim-Skolem theorem for $L$-structures in $\Omega $-sets / F. Miraglia -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933810 The derivative of truth in �ukasiewicz sentential calculus / Daniele Mundici -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933811 Equivalence relations on lattices and the complexity of the theory of permutations which commute / Jacques Stern -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933812 Problem solving by interpretation of theories / Paulo A. S. Veloso -- http://www.ams.org/conm/069/ http://dx.doi.org/10.1090/conm/069/933813

Item type:

E-BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 41 )
Comments ( 0 )

Current library	Home library	Call number	Materials specified	URL	Status	Date due	Barcode
IMSc Library	IMSc Library			Link to resource	Available		EBK11349

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 / Newton C. A. da Costa and Luiz Paulo de Alcantara -- Reflection properties induced by some large cardinal axioms / Carlos A. Di Prisco and Wiktor Marek -- Taxonometric partitions / A. Ehrenfeucht, M. Foreman and J. Malitz -- Diamonds, large cardinals, and ultrafilters / Akihiro Kanamori -- 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 / Marcel Guillaume -- Ordered structures in the description of quantum systems: mathematical progress / Luisa Iturrioz -- Infinities in mathematics and the natural sciences / Jens Erik Fenstad -- The 50th anniversary of Gentzen's thesis / Andr�es R. Raggio -- Logics and pseudogroups / X. Caicedo and A.-M. Sette -- Sets of relational systems as models for stochastic processes / Rolando Chuaqui -- A general framework for semantics for propositional logics / Richard L. Epstein -- Formal languages and topological spaces / J�org Flum -- Automatic theorem proving: an attempt to improve readability of proofs generated by resolution / Edward Hermann Haeusler -- The downward L�owenheim-Skolem theorem for $L$-structures in $\Omega $-sets / F. Miraglia -- The derivative of truth in �ukasiewicz sentential calculus / Daniele Mundici -- Equivalence relations on lattices and the complexity of the theory of permutations which commute / Jacques Stern -- Problem solving by interpretation of theories / Paulo A. S. Veloso --