Makkai M. and G. E. Reyes (1995). Completeness results for intuitionistic and
modal logic in a categorical setting. Annals of Pure and Applied Logic 72, 25-101.

Advertisements