A proof-theoretic universal property of determiners

Journal of Applied Logic 13 (4):799-808 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2015.09.001

Links

PhilArchive



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

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

The Faithfulness of Fat: A Proof-Theoretic Proof.Fernando Ferreira & Gilda Ferreira - 2015 - Studia Logica 103 (6):1303-1311.
Proof-theoretic semantics for a natural language fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
On a Distinction of Two Facets of Meaning and its Role in Proof-theoretic Semantics.Nissim Francez - 2015 - Logica Universalis 9 (1):121-127.
Proof-theoretic semantic values for logical operators.Nissim Francez & Gilad Ben-avi - 2011 - Review of Symbolic Logic 4 (3):466-478.
Variation on a theme of Schutte.D. Probst & G. Jager - 2004 - Mathematical Logic Quarterly 50 (3):258.
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
The structure of logical consequence : proof-theoretic conceptions.Ole T. Hjortland - unknown
Saturated models of universal theories.Jeremy Avigad - 2002 - Annals of Pure and Applied Logic 118 (3):219-234.
Information dependency in quantificational subordination.Nicholas Asher - unknown
On the Notion of Canonical Derivations From Open Assumptions and its Role in Proof-Theoretic Semantics.Nissim Francez - 2015 - Review of Symbolic Logic 8 (2):296-305.
Amalgamation through quantifier elimination for varieties of commutative residuated lattices.Enrico Marchioni - 2012 - Archive for Mathematical Logic 51 (1-2):15-34.
Λ-terms, logic, determiners and quantifiers.Fairouz Kamareddine - 1992 - Journal of Logic, Language and Information 1 (1):79-103.
About the proof-theoretic ordinals of weak fixed point theories.Gerhard Jäger & Barbara Primo - 1992 - Journal of Symbolic Logic 57 (3):1108-1119.
Hierarchies of measure-theoretic ultrafilters.Michael Benedikt - 1999 - Annals of Pure and Applied Logic 97 (1-3):203-219.
Provability algebras and proof-theoretic ordinals, I.Lev D. Beklemishev - 2004 - Annals of Pure and Applied Logic 128 (1-3):103-123.

Analytics

Added to PP
2016-06-30

Downloads
13 (#978,482)

6 months
1 (#1,459,555)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nissim Francez
Technion, Israel Institute of Technology

Citations of this work

No citations found.

Add more citations

References found in this work

Yes and no.I. Rumfitt - 2000 - Mind 109 (436):781-823.
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.

Add more references