Rolando Chuaqui

According to our database, Rolando Chuaqui authored at least 10 papers between 1971 and 1995.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1995

Free-Variable Axiomatic Foundations of Infinitesimal Analysis: A Fragment with Finitary Consistency Proof.

Rolando Chuaqui, Patrick Suppes

J. Symb. Log., 1995

1991

Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms.

M. Victoria Marshall, Rolando Chuaqui

J. Symb. Log., 1991

1988

An equational deductive system for the differential and integral calculus.

Rolando Chuaqui, Patrick Suppes

Proceedings of the COLOG-88, 1988

1986

Pragmatic Truth and Approximation to Truth.

Irene F. Mikenberg, Newton C. A. da Costa, Rolando Chuaqui

J. Symb. Log., 1986

1984

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

1983

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

1981

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

1978

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

1972

Forcing for the Impredicative Theory of Classes.

Rolando Chuaqui

J. Symb. Log., 1972

1971

Meeting of the Association for Symbolic Logic Santiago, Chile 1970.

Rolando Chuaqui

J. Symb. Log., 1971