Proof-Theoretic Semantics, by Nissim Francez

Mind 126 (501):299-304 (2017)
  Copy   BIBTEX

Abstract

Proof-Theoretic Semantics, by FrancezNissim. London: College Publications, 2015. Pp. xx + 415.

Categories

Keywords

Reprint years

DOI

10.1093/mind/fzw056

Links

PhilArchive



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

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

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.
Proof-theoretic semantics for a natural language fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
A Proof-Theoretic Semantics for Adjectival Modification.Nissim Francez - 2017 - Journal of Logic, Language and Information 26 (1):21-43.
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 Semantics for Subsentential Phrases.Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi - 2010 - Studia Logica 94 (3):381-401.
A proof-theoretic universal property of determiners.Nissim Francez - 2015 - Journal of Applied Logic 13 (4):799-808.
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
Proof-theoretic semantic values for logical operators.Nissim Francez & Gilad Ben-avi - 2011 - Review of Symbolic Logic 4 (3):466-478.
Harmony in Multiple-Conclusion Natural-Deduction.Nissim Francez - 2014 - Logica Universalis 8 (2):215-259.
A Logic Inspired by Natural Language: Quantifiers As Subnectors.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (6):1153-1172.
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
Splitting the reference time: The analogy between nominal and temporal anaphora revisited1.Nelken Rani & Francez Nissim - 1997 - Journal of Semantics 14 (4).
The structure of logical consequence : proof-theoretic conceptions.Ole T. Hjortland - unknown
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation.Luca Tranchini - forthcoming - Journal of Logic and Computation 2014.
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.

Analytics

Added to PP
2016-11-19

Downloads
56 (#278,942)

6 months
9 (#298,039)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ivo Pezlar
Czech Academy of Sciences

Citations of this work

No citations found.

Add more citations

References found in this work

Inferentialism: Why Rules Matter.Jaroslav Peregrin - 2014 - London and New York: Palgrave-Macmillan.

Add more references