文档介绍：NON-CLASSICAL LOGICS,
MODEL THEORY,
PUTABILITY
Proceedings of the Third Latin-American Symposium on
Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Edited by
A. I. ARRUDA
Universidade Estadual de Campinas
Brazil
N. C. A. da COSTA
Universidade de Slo Paul0
Brazil
R. CHUAQUI
Universidad Catdica de Chile
Chile
1977
~
IOLLAND PANY -AMSTERDAM NEW YORK OXFORD
@ NORTH-HOLLAND PANY - i977
All rights reserved. No part of this publication may be reproduced,storedin a retrievalsystem,
or transmitted, in any jorm or by any means, electronic, mechanical, photocopying,
recording or otherwise, without the prior permission of the copyright owner.
North-Holland ISBN: 0 7204 0752 4
Published by:
North-Holland pany- Amsterdam New York Oxford
Sole distributors for the . and Canada:
Elsevier North-Holland, Inc.
52 Vanderbilt Avenue
New York, . 10017
PRINTED IN HERLANDS
PREFPLE
This volume contitutes the Proceedings of the Third Latin American
SynposiumonMathematical Logic which was held at the State University of
Campinas, Campinas, SZo Paulo, Brazil from July 11 to July 17, 1976. The
meeting was sponsored by the State University of Campinas, the Association
for Symbolic Logic, and the Division of Logic, Methodology, and Philosophy
of Science of the International Union of History and Philosophy of Science.
The meeting anized by an mittee consisting of A. I.
Arruda (Chairman), R. 6. ChuaqEi, N. C. A. da Costa, and F. Mir6 Quesada.
The Symposium was divided into three sections: Non-classical Logics,
Model Theory, putability. The papers which appear in this volume are
the texts, at time considerably Expanded and revised, of most of the
addresses presented by invitees to the meeting. Also included are expanded
versions of munications which the editors thought would give an
idea of the present topics of research in Latin America.
Abstracts of all addresses and