Gonzalo E. Reyes

According to our database, Gonzalo E. Reyes authored at least 10 papers between 1972 and 2014.

Collaborative distances:

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

2014

A Mathematical Analysis of Masaccio's Trinity.

Gonzalo E. Reyes

Proceedings of the Categories and Types in Logic, Language, and Physics, 2014

2012

The History of Categorical Logic: 1963-1977.

Jean-Pierre Marquis, Gonzalo E. Reyes

Proceedings of the Sets and Extensions in the Twentieth Century, 2012

2003

Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic.

Adriana Galli, Gonzalo E. Reyes, Marta Sagastume

Fuzzy Sets Syst., 2003

2000

Completeness Theorems via the Double Dual Functor.

Adriana Galli, Marta Sagastume, Gonzalo E. Reyes

Stud Logica, 2000

1996

Bi-Heyting algebras, toposes and modalities.

Gonzalo E. Reyes, Houman Zolfaghari

J. Philos. Log., 1996

1995

Completeness Results for Intuitionistic and Modal Logic in a Categorical Setting.

Michael Makkai, Gonzalo E. Reyes

Ann. Pure Appl. Log., 1995

1994

Functoriality and Grammatical Role in Syllogisms.

Marie La Palme Reyes, John Macnamara, Gonzalo E. Reyes

Notre Dame J. Formal Log., 1994

1993

Formal systems for modal operators on locales.

Gonzalo E. Reyes, Marek W. Zawadowski

Stud Logica, 1993

1991

A Topos-Theoretic Approach to Reference and Modality.

Gonzalo E. Reyes

Notre Dame J. Formal Log., 1991

1972

L _{omega 1, omega} is Enough: A Reduction Theorem for Some Infinitary Languages.

Gonzalo E. Reyes

J. Symb. Log., 1972