On the semantics of the universal quantifier

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

Abstract

We investigate the universal fragment of intuitionistic logic focussing 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 Friedman's completeness result for typed lambda calculus

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(96)00051-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Presuppositions of quantified sentences: experimental data. [REVIEW]Emmanuel Chemla - 2009 - Natural Language Semantics 17 (4):299-340.
Scope and the grammar of choice.Donka F. Farkas & Adrian Brasoveanu - unknown
The distribution of quantificational suffixes in Japanese.Kazuko Yatsushiro - 2009 - Natural Language Semantics 17 (2):141-173.
The semantics of scandinavian free choice items.Kjell Johan Saeboe - 2001 - Linguistics and Philosophy 24 (6):737-788.
The handbook of contemporary semantic theory.Shalom Lappin (ed.) - 1996 - Cambridge, Mass., USA: Blackwell Reference.
Probability semantics for quantifier logic.Theodore Hailperin - 2000 - Journal of Philosophical Logic 29 (2):207-239.
Quantifier probability logic and the confirmation paradox.Theodore Hailperin - 2007 - History and Philosophy of Logic 28 (1):83-100.
Inferences in context : contextualism, inferentialism and the concept of universal quantification.Chiara Tabet - unknown
Children's asymmetrical responses.Stephen Crain - manuscript
The syntax and semantics of split constructions: a comparative study.Alastair Butler - 2004 - New York: Palgrave-Macmillan. Edited by Eric Mathieu.
Children's Asymmetrical Responses.Andrea Gualmini & Stephen Crain - unknown
NPI any and connected exceptive phrases.Jon Gajewski - 2008 - Natural Language Semantics 16 (1):69-110.
Verification, falsification, and the logic of enquiry.Peter Milne - 1991 - Erkenntnis 34 (1):23 - 54.

Analytics

Added to PP
2014-01-16

Downloads
15 (#926,042)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Coherence in linear predicate logic.Kosta Došen & Zoran Petrić - 2009 - Annals of Pure and Applied Logic 158 (1-2):125-153.

Add more citations

References found in this work

Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Adjointness in Foundations.F. William Lawvere - 1969 - Dialectica 23 (3‐4):281-296.
Locally cartesian closed categories and type theory.R. A. G. Seely - 1984 - Mathematical Proceedings of the Cambridge Philosophical Society 95 (1):33.
Hyperdoctrines, Natural Deduction and the Beck Condition.Robert A. G. Seely - 1983 - Mathematical Logic Quarterly 29 (10):505-542.

View all 8 references / Add more references