BI-heyting algebras, toposes and modalities

Journal of Philosophical Logic

Volumn 25, Issue 1, 1996, Pages 25-43

  Reyes, Gonzalo E ^a   Zolfaghari, Houman ^a  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0012590882     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1007/BF00357841     Document Type: Article

References (11)

1. Curry, H. B.: Introduction to Mathematical Logic, McGraw-Hill, New York, San Francisco, Toronto, London, 1963.
2. Ghilardi, S. and Meloni, G. C.: Modal and tense predicate logic: Models in presheaves and categorical conceptualization, in: F. Borceux (ed.), Categorical Algebra and Its Applications (Proceedings, Louvain-la-Ncuve, 1987), Lecture Notes in Mathematics 1348, Springer-Verlag, 1988.
3. Johnstone, P. T.: Conditions related to De Morgan's law, in: M. P. Fourman, C. J. Mulvey, and D. S. Scott (eds), Applications of Sheaves (Proceedings, Durham 1977) Lecture Notes in Mathematics 753, Springer-Verlag, 1979.
4. Kock, A. and Rcyes, G. E.: Doctrines in categorical logic, in: J. Barwise (ed.), Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, New York, Oxford, 1977.
5. Lavendhommc, R., Lucas, Th., and Reyes, G. E.: Formal systems for topos-theoretic modalities, Bull. Soc. Math. Belgique (serie A), XLI, Fascicule 2, 1989.
6. Lawvere, F. W.: Introduction, in: F. W. Lawvere and S. Schanuel (eds), Categories in Continuum Physics (Buffalo 1982), Lecture Notes in Mathematics 1174, Springer-Verlag, 1986.
7. Lawvere, F. W.: Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes, in: A. Carboni, M. C. Pedicchio and G. Rosolini (eds), Category Theory (Proceedings, Como 1990), Lecture Notes in Mathematics 1488, Springer-Verlag, 1991, 279-297.
8. Lawvere, F. W.: Categories of spaces may not be generalized spaces as exemplified by directed graphs, in: J. H. Pérez and X. Caicedo (eds), Memories Del Seminario Taller En Teoría De Categorías, Revista Colombiana de Matemáticas, septicmbrcdiciembre 1986, números 3-4.
9. Makkai, M. and Reyes, G. E.: First-Order Categorical Logic, Lecture Notes in Mathematics 611, Springer-Verlag, 1977.
10. Reyes, G. E.: A topos-theoretic approach to reference and modality, Notre Dame Journal of Formal Logic 32 (1991), 359-391.
11. Reyes, G. E. and Zolfaghari, H.: Topos-theoretic approaches to modalities, in: A Carboni, M. C. Pedicchio and G. Rosolini (eds), Category Theory (Proceedings, Como 1990), Lecture Notes in Mathematics 1488, Springer-Verlag, 1991.