Relatively boolean and De Morgan toposes and locales
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 35 (1994) no. 3, p. 249-261
@article{CTGDC_1994__35_3_249_0,
     author = {Kock, Anders and Reyes, Gonzalo E.},
     title = {Relatively boolean and De Morgan toposes and locales},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {35},
     number = {3},
     year = {1994},
     pages = {249-261},
     zbl = {0806.18002},
     mrnumber = {1295120},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1994__35_3_249_0}
}
Kock, Anders; Reyes, Gonzalo E. Relatively boolean and De Morgan toposes and locales. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 35 (1994) no. 3, pp. 249-261. http://www.numdam.org/item/CTGDC_1994__35_3_249_0/

[1] M. Jibladze and P.T. Johnstone, The frame of fibrewise closed nuclei, Cahiers de Top. et Geom. Diff. Categorique 32 (1991), 99-112 | Numdam | MR 1142684 | Zbl 0762.06005

[2] P.T. Johnstone, Conditions equivalent to de Morgan 's law, in Applications of Sheaves, Proceedings Durham 1977, Springer Lecture Notes in Math. 753 (1979), 479-491 | MR 555556 | Zbl 0445.03041

[3] P.T. Johnstone, Open maps of toposes, Manuscripta Math. 31 (1980), 214-247 | MR 576498 | Zbl 0433.18002

[4] P.T. Johnstone, Open locales and exponentiation, in Mathematical Applica tions of Category Theory, Contemporary Math. 30 (1984), 84-116 | MR 749770 | Zbl 0537.18001

[5] P.T. Johnstone, A constructive closed subgroup theorem, Cahiers de Top. et Geom. Diff. Categorique 30 (1989), 3-23 | Numdam | MR 1000828 | Zbl 0668.03028

[6] A. Joyal and M. Tierney, An extension of the Galois Theory of Grothendieck, Mem. A.M.S. 309 (1984) | MR 756176 | Zbl 0541.18002

[7] A. Kock, Strong functors and monoidal monads, Arch. Math. 23 (1972), 113-120 | MR 304456 | Zbl 0253.18007

[8] A. Kock, Relatively Boolean toposes, Aarhus Preprint Series 1989/90 No. 21

[9] A. Kock, Algebras for the partial map classifier monad, in Category Theory, Proceedings Como 1990, Springer Lecture Notes in Math. 1488 (1991), 262-278 | MR 1173017 | Zbl 0747.18005

[10] G.E. Reyes and H. Zolfaghari, Bi-Heyting algebras, toposes and modalities, to appear in Journal of Philosophical Logic | MR 1378096 | Zbl 0851.03022

[11] R. Squire, Presheaf toposes and propositional logic, Ph.D. thesis, McMaster University 1990