Meeting of the Association for Symbolic Logic Santiago, Chile 1970. - Rolando Chuaqui (J. Symb. Log., 1971)

Forcing for the Impredicative Theory of Classes. - Rolando Chuaqui (J. Symb. Log., 1972)

Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. - Ayda I. Arruda; Francisco Miro Quesada; Newton C. A. da Costa; Rolando Chuaqui (J. Symb. Log., 1978)

Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. - Ayda I. Arruda; Rolando Chuaqui; Newton C. A. da Costa; Irene F. Mikenberg (J. Symb. Log., 1981)

Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981. - Ayda I. Arruda; Xavier Caicedo; Rolando Chuaqui; Newton C. A. da Costa (J. Symb. Log., 1983)

Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983. - Xavier Caicedo; Rolando Chuaqui; Newton C. A. da Costa; Carlos A. Di Prisco (J. Symb. Log., 1984)

Pragmatic Truth and Approximation to Truth. - Irene F. Mikenberg; Newton C. A. da Costa; Rolando Chuaqui (J. Symb. Log., 1986)

An equational deductive system for the differential and integral calculus. - Rolando Chuaqui; Patrick Suppes (Conference on Computer Logic, 1988)

Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms. - M. Victoria Marshall; Rolando Chuaqui (J. Symb. Log., 1991)

Free-Variable Axiomatic Foundations of Infinitesimal Analysis: A Fragment with Finitary Consistency Proof. - Rolando Chuaqui; Patrick Suppes (J. Symb. Log., 1995)