2010 | OriginalPaper | Chapter
Proof-Theoretic Semantics for a Natural Language Fragment
Authors : Nissim Francez, Roy Dyckhoff
Published in: The Mathematics of Language
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
We propose a
Proof
−
Theoretic
Semantics
(
PTS
) for a (positive) fragment
$E^{+}_{0}$
of
Natural
Language
(
NL
) (English in this case). The semantics is intended [7] to be incorporated into actual grammars, within the framework of
Type
−
Logical
Grammar
(
TLG
) [12]. Thereby, this semantics constitutes an alternative to the traditional
model
−
theoretic
semantics
(
MTS
), originating in Montague’s seminal work [11], used in
TLG
.