Proof-Theoretic Semantics for a Natural Language Fragment

Nissim Francez; Roy Dyckhoff

doi:10.1007/978-3-642-14322-9_6

Proof-Theoretic Semantics for a Natural Language Fragment

Nissim Francez
, Roy Dyckhoff

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	The Mathematics of Language
Place of Publication	Berlin/Heidelberg
Publisher	Springer
Pages	56-71
Number of pages	16
Volume	6149
ISBN (Print)	978-3-642-14321-2
DOIs	https://doi.org/10.1007/978-3-642-14322-9_6
Publication status	Published - 2010

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	6149
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-642-14322-9_6

Handle.net

Persistent link to portal record

Lexicalized Proof-Theoretic Semantics fo: Lexicalized proof-theoretic Semantics for Natural Language
Dyckhoff, R. (PI)
EPSRC
1/02/07 → 31/08/07
Project: Standard

Cite this

@inproceedings{15ee4cdebe1f408b978672152cff15e7,

title = "Proof-Theoretic Semantics for a Natural Language Fragment",

author = "Nissim Francez and Roy Dyckhoff",

year = "2010",

doi = "10.1007/978-3-642-14322-9\_6",

language = "English",

isbn = "978-3-642-14321-2",

volume = "6149",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "56--71",

booktitle = "The Mathematics of Language",

address = "Netherlands",

}

TY - GEN

T1 - Proof-Theoretic Semantics for a Natural Language Fragment

AU - Francez, Nissim

AU - Dyckhoff, Roy

PY - 2010

Y1 - 2010

U2 - 10.1007/978-3-642-14322-9_6

DO - 10.1007/978-3-642-14322-9_6

M3 - Conference contribution

SN - 978-3-642-14321-2

VL - 6149

T3 - Lecture Notes in Computer Science

SP - 56

EP - 71

BT - The Mathematics of Language

PB - Springer

CY - Berlin/Heidelberg

ER -

Proof-Theoretic Semantics for a Natural Language Fragment

Publication series

Access to Document

Handle.net

Projects

Lexicalized Proof-Theoretic Semantics fo: Lexicalized proof-theoretic Semantics for Natural Language

Cite this