Rolando Chuaqui

Publication Activity (10 Years)

Years Active: 1971-1995
Publications (10 Years): 0

Publications

Rolando Chuaqui, Patrick Suppes
Free-Variable Axiomatic Foundations of Infinitesimal Analysis: A Fragment with Finitary Consistency Proof. J. Symb. Log. 60 (1) (1995)
M. Victoria Marshall, Rolando Chuaqui
Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms. J. Symb. Log. 56 (3) (1991)
Rolando Chuaqui, Patrick Suppes
An equational deductive system for the differential and integral calculus. Conference on Computer Logic (1988)
Irene F. Mikenberg, Newton C. A. da Costa, Rolando Chuaqui
Pragmatic Truth and Approximation to Truth. J. Symb. Log. 51 (1) (1986)
Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa, Carlos A. Di Prisco
Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983. J. Symb. Log. 49 (4) (1984)
Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa
Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981. J. Symb. Log. 48 (3) (1983)
Ayda I. Arruda, Rolando Chuaqui, Newton C. A. da Costa, Irene F. Mikenberg
Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. J. Symb. Log. 46 (1) (1981)
Ayda I. Arruda, Francisco Miro Quesada, Newton C. A. da Costa, Rolando Chuaqui
Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. J. Symb. Log. 43 (2) (1978)
Rolando Chuaqui
Forcing for the Impredicative Theory of Classes. J. Symb. Log. 37 (1) (1972)
Rolando Chuaqui
Meeting of the Association for Symbolic Logic Santiago, Chile 1970. J. Symb. Log. 36 (3) (1971)