You are currently browsing the category archive for the ‘Categorical logic’ category.

G. E. Reyes and H. Zolfaghari (1991). Topos-theoretic approaches to modality.

LNM Springer-Verlag 1488. 359-378.

**
**

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.

Joyal A. and G. E. Reyes (1985). Separably real closed local rings. Revista Colombiana de

Matematicas XIX 1, 2 (Proc. V Latin-American Symp. on Math. Logic, Bogotá 1981),

107-115. NB Also published in J. Pure and Applied Algebra 43 (3), 1986, 271-279.

(TT&CL)

G. E. Reyes (1981). Logic and category theory. In Agazzi E. (ed.). Modern Logic – A survey. Dordrecht: D. Reidel Publishing Company, 235-252.

Bunge M. and G. E. Reyes (1981). Boolean spectra and model completions. Fund.

Math. 113, 165-173.

Dubuc E. and G. E. Reyes (1979). Subtoposes of the ring classifier. In Kock A. (ed.).

Topos theoretic methods in Geometry. Aarhus: Various Publication Series No. 30,

101-122.

G. E. Reyes (1979). Cramer’s rule in the Zariski topos. In Fourman M. P. et al (eds.).

Applications of Sheaves (Proceedings, Durham 1977). LNM 753. Berlin : Springer-

Verlag, 586-594.

Joyal, A. and G. E. Reyes. Forcing and generic models in categorical logic.16 pages.

(1978) (TT&CL)