1 research outputs found
Implementing Tabular Deduction for Multimodal Logical Grammar
The paper proposes a method for tabular deduction for multimodal logical grammar, extending a method for linear logic presented in (Hepple, 1996; Hepple, 1998). Tabular deduction for multimodal logical grammar avoids redundant computation like chart parsing does for CFGs. The method discussed here enables one to process any kind of multimodal logical grammar fragment. An implementation of the method is presented. Implementing Tabular Deduction for Multimodal Logical Grammar The paper proposes a method for tabular deduction for multimodal logical grammar, extending a method for linear logic presented in (Hepple, 1996; Hepple, 1998). Tabular deduction for multimodal logical grammar avoids redundant computation like chart parsing does for CFGs. The method discussed here enables one to process any kind of multimodal logical grammar fragment. An implementation of the method is presented. 1 Introduction [%% Wordcount: 312 words] Resource-sensitive logics are powerful logics that enable one..