Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985

Journal of Symbolic Logic 51 (4):1093 - 1103 (1986)
  Copy   BIBTEX

Abstract

This is the ASL report on the 7th Latin American Symposium on Mathematical Logic held in Campinas, SP, Brazil, from July 29- August 02, 1985.

Categories

Keywords

Reprint years

DOI

10.2307/2273931

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Seventh Latin American on Mathematical Logic- Meeting of the association for symbolic logic: Campinas, Brazil, 1985.Walter Carnielli - 1986 - Journal of Symbolic Logic 51 (4):1093-1103.
Meeting of the association for symbolic logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
Logic, sets and information: proceedings of the tenth Brazilian Conference on Mathematical Logic.Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) - 1995 - Campinas, SP, Brazil: Centro de Lógica, Epistemologia e História da Ciência, UNICAMP.
Meeting of the association for symbolic logic: Chicago, 1985.Andreas Blass, Louise Hay & Peter G. Hinman - 1986 - Journal of Symbolic Logic 51 (2):507-510.
Meeting of the association for symbolic logic: Stanford, california, 1985.Jon Barwise, Solomon Feferman & David Israel - 1986 - Journal of Symbolic Logic 51 (3):832-862.
Meeting of the association for symbolic logic: Washington, D. C., 1985.Martin Davis, Edgar E. K. Lopez-Escobar & Wilfred Sieg - 1986 - Journal of Symbolic Logic 51 (4):1085-1092.
10th workshop on logic, language, information and computation (WoLLIC '2003): Co-sponsored by the association for symbolic logic, ouro preto (minas gerais), Brazil july 29-August 1, 2003. [REVIEW]Ruy J. G. B. de Queiroz - 2004 - Bulletin of Symbolic Logic 10 (2):295-296.
Models and computability: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997.S. B. Cooper & J. K. Truss (eds.) - 1999 - New York: Cambridge University Press.
MODEL-BASED REASONING IN SCIENCE AND TECHNOLOGY.Lorenzo Magnani, Walter Carnielli & Claudio Pizzi (eds.) - 2010 - Springer.
Twenty-fourth annual meeting of the association for symbolic logic.Alan Ross Anderson - 1959 - Journal of Symbolic Logic 24 (4):312-326.
Meeting of the association for symbolic logic.John Baldwin, D. A. Martin, Robert I. Soare & W. W. Tait - 1976 - Journal of Symbolic Logic 41 (2):551-560.
European meeting of the association for symbolic logic, mons, belgium, 1978.M. Boffa & P. Henrard - 1980 - Journal of Symbolic Logic 45 (2):386-414.
Annual meeting of the association for symbolic logic: Boston 1983.George Boolos & Sy Friedman - 1984 - Journal of Symbolic Logic 49 (4):1441-1449.

Analytics

Added to PP
2011-05-29

Downloads
34 (#458,553)

6 months
13 (#182,749)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Walter Carnielli
University of Campinas

Citations of this work

No citations found.

Add more citations

References found in this work

On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.

View all 9 references / Add more references