DeductionMethod
method
ID: deductionmethod
Related Papers
A Compilation-Chart Method for Linear Categorial Deduction
Recent, work in ca.t;eg(Mj gr;mmt;~r has seen proposals for a wide. r;Lltg(~ O[ sys-. t;(;i[IS, differing in their 'resomx:e sensi- tivil;y' and hence, implicitly, {;heir under.. lying nol;ion of qinguisl;ie …...
Memoisation for Glue Language Deduction and Categorial Parsing
The multiplicative fragment of linear logic has found a number of applications in computa- tional linguistics: in the "glue language" ap- proach to LFG semantics, and in the formu- lation …...