Proof-Theoretic Semantics for a Natural Language Fragment

Nissim Francez, Roy Dyckhoff

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

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

Access to Document

@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 -