Switch to: Citations

References in:

On the semantics of the universal quantifier

Annals of Pure and Applied Logic 87 (3):209-239 (1997)

Add references

You must login to add references.

Fibered categories and the foundations of naive category theory.Jean Bénabou - 1985 - Journal of Symbolic Logic 50 (1):10-37.details Download Export citation Bookmark 17 citations
Adjointness in Foundations.F. William Lawvere - 1969 - Dialectica 23 (3‐4):281-296.details Download Export citation Bookmark 75 citations
The fibrational formulation of intuitionistic predicate logic ${\rm I}$: completeness according to Gödel, Kripke, and Läuchli. I.M. Makkai - 1993 - Notre Dame Journal of Formal Logic 34 (3):334-377.details Download Export citation Bookmark 6 citations
Hyperdoctrines, Natural Deduction and the Beck Condition.Robert A. G. Seely - 1983 - Mathematical Logic Quarterly 29 (10):505-542.details Download Export citation Bookmark 15 citations
The fibrational formulation of intuitionistic predicate logic ${\rm I}$: completeness according to Gödel, Kripke, and Läuchli. II.M. Makkai - 1993 - Notre Dame Journal of Formal Logic 34 (4):471-498.details Download Export citation Bookmark 4 citations
Locally cartesian closed categories and type theory.R. A. G. Seely - 1984 - Mathematical Proceedings of the Cambridge Philosophical Society 95 (1):33.details Download Export citation Bookmark 18 citations

1