You are currently browsing the category archive for the ‘Articles’ category.
G. E. Reyes (1991). A topos-theoretic Approach to Reference and Modality. Notre
Dame Journal of Formal Logic. Volume 32, Number 3, 359-391.
G. E. Reyes and H. Zolfaghari (1991). Topos-theoretic approaches to modality.
LNM Springer-Verlag 1488. 359-378.
G. E. Reyes (1989). Non-standard truth-values and modalities. Atti degli Incontri di Logica
Matematica (AILA), XIII Incontro: Logiche modali et temporali, 53-65. (TT&CL)
La Palme Reyes M. and G. E. Reyes (1989). A Boolean-valued Version of Gupta’s
Semantics. Logique et Analyse 127-128. 247-265.
La Palme Reyes M. and G. E. Reyes (1989). Montague’s Semantics for Intensional
Logic. Logique et Analyse 127-128. 319-335.
Lavendhomme R., Lucas Th. and G. E. Reyes (1989). Formal systems for topos-
theoretic modalities. Bull. Soc. math. Belgique (serie A), XLI, Fascicule 2. 333-372.
Druck I. F. and G. E. Reyes (1987). Sur la convergence de suites de fonctions suivant des
filtres. In F. Borceux (ed.). Categorical Algebra and its Applications (Proceedings of the
1987 Conference on Categories in Louvain-la-Neuve. LNM 1348. Berlin: Springer-V102-106. (SDG)
Moerdijk I., Ngo van Quê and G. E. Reyes (1987). Rings of smooth functions and their
localizations II. In Kueker D. W. , Lopez-Escobar E. K. G. and C. H. Smith (eds.).
Mathematical Logic and Theoretical Computer Science (Logic Year in Maryland 1985).
Lecture Notes in Pure and Applied Mathematics 106. New York: Marcel Dekker, 277-300.
(SDG)
Kock A. and G. E. Reyes (1987). Corrigendum and addenda to the paper
`Convenient vector space embed…’. Cahiers de Top. et Geom. Diff. Categ. 28 (2),
99-110.
Moerdijk I., Ngo van Quê and G. E. Reyes (1987). Forcing square roots and
integration theory. Fund. Math. 128, 145-158.
Gonzalo E. Reyes - Marie La Palme Reyes 