Proof-Theoretic Semantics for a Natural Language Fragment.

Autor: Francez, Nissim, Dyckhoff, Roy
Zdroj: Mathematics of Language; 2010, p56-71, 16p
Abstrakt: We propose a Proof − TheoreticSemantics (PTS) for a (positive) fragment ]> of NaturalLanguage (NL) (English in this case). The semantics is intended [7] to be incorporated into actual grammars, within the framework of Type − LogicalGrammar (TLG) [12]. Thereby, this semantics constitutes an alternative to the traditional model − theoreticsemantics (MTS), originating in Montague΄s seminal work [11], used in TLG. [ABSTRACT FROM AUTHOR]
Databáze: Complementary Index