Reyes G. E. and H. Zolfaghari (1996). Bi-Heyting Algebras, Toposes and
Modalities. Journal of Philosophical Logic 25. No.1 pp.25-43.

Advertisements