This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
M. P. Fourman , & D. S. Scott (1979). Sheaves and logic. In M. P. Fourman , C. J. Mulvey , and D. S. Scott , editors. Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977. Berlin: Springer-Verlag, pp. 302–401.
S Ghilardi . (1989). Presheaf semantics and independence results for some non classical first order logics. Archive for Mathematical Logic, 29, 125–136.
S. Ghilardi , & G Meloni . (1988). Modal and tense predicate logic: models in presheaves and categorical conceptualization. In F. Borceux , editor. Categorical Algebra and Its Applications: Proceedings of a Conference, Held in Louvain-La-Neuve, Belgium, July 26–August 1, 1987. Berlin: Springer-Verlag, pp. 130–142.
F. W Lawvere . (1969). Adjointness in foundations. Dialectica, 23, 281–296. Reprinted in Reprints in Theory and Applications of Categories, 16, 1–16.
S. Mac Lane , & I Moerdijk . (1992). Sheaves in Geometry and Logic: A First Introduction to Topos Theory. New York: Springer-Verlag.
M. Makkai , & G. E Reyes . (1995). Completeness results for intuitionistic and modal logic in a categorical setting. Annals of Pure and Applied Logic, 72, 25–101.
J. C. C. McKinsey , & A Tarski . (1944). The algebra of topology. Annals of Mathematics, 45, 141–191.
G. E Reyes . (1991). A topos-theoretic approach to reference and modality. Notre Dame Journal of Formal Logic, 32, 359–391.
G. E. Reyes , & H Zolfaghari . (1991). Topos-theoretic approaches to modality. In A. Carboni , M. C. Pedicchio , and G. Rosolini , editors. Category Theory: Proceedings of the International Conference Held in Como, Italy, July 22–28, 1990. Berlin: Springer-Verlag, pp. 359–378.
V. Shehtman , & D Skvortsov . (1990). Semantics of non-classical first-order predicate logics. In P. P. Petkov , editor. Mathematical Logic. New York: Plenum Press, pp. 105–116.