ON THE SEMANTICS OF THE UNIVERSAL QUANTIFIER

Authors
CUBRIC D
Citation
D. Cubric, ON THE SEMANTICS OF THE UNIVERSAL QUANTIFIER, Annals of pure and applied Logic, 87(3), 1997, pp. 209-239
Citations number
30
Categorie Soggetti
Mathematics, Pure",Mathematics,Mathematics,Mathematics
Journal title
Annals of pure and applied Logic → ACNP
ISSN journal
01680072
Volume
87
Issue
3
Year of publication
1997
Pages
209 - 239
Database
ISI
SICI code
0168-0072(1997)87:3<209:OTSOTU>2.0.ZU;2-K
Abstract
We investigate the universal fragment of intuitionistic logic focussin g on equality of proofs. We give categorical models for that and prove several completeness results. One of them is a generalization of the well known Yoneda lemma and the other is an extension of Harvey Friedm an's completeness result for typed lambda calculus.