2003 |
7 | EE | Adriana Galli,
Gonzalo E. Reyes,
Marta Sagastume:
Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic.
Fuzzy Sets and Systems 138(1): 3-23 (2003) |
2000 |
6 | | Adriana Galli,
Marta Sagastume,
Gonzalo E. Reyes:
Completeness Theorems via the Double Dual Functor.
Studia Logica 64(1): 61-81 (2000) |
1995 |
5 | | Michael Makkai,
Gonzalo E. Reyes:
Completeness Results for Intuitionistic and Modal Logic in a Categorical Setting.
Ann. Pure Appl. Logic 72(1): 25-101 (1995) |
1994 |
4 | | Marie La Palme Reyes,
John Macnamara,
Gonzalo E. Reyes:
Functoriality and Grammatical Role in Syllogisms.
Notre Dame Journal of Formal Logic 35(1): 41-66 (1994) |
1993 |
3 | | Gonzalo E. Reyes,
Marek W. Zawadowski:
Formal systems for modal operators on locales.
Studia Logica 52(4): 595-614 (1993) |
1991 |
2 | | Gonzalo E. Reyes:
A Topos-Theoretic Approach to Reference and Modality.
Notre Dame Journal of Formal Logic 32(3): 359-391 (1991) |
1972 |
1 | | Gonzalo E. Reyes:
L omega 1, omega is Enough: A Reduction Theorem for Some Infinitary Languages.
J. Symb. Log. 37(4): 705-710 (1972) |