This paper develops LMP - a categorial type logic that is meant to formulate vacuous components in natural language. The vacuous components are those expressions which have no semantic referents, but syntactically function as grammatical links between expressions on its left and right hand side. In order to legitimatize the derivations of sentences containing these components in categorial type logic, the present paper proposes system LMP, which is based on a ternary composite category [A {B} C]. LMP's axiomatic presentation and Gentzen presentation are thereafter presented, and LMP's soundness, completeness and decidability are established. © 2011 Springer-Verlag.
CITATION STYLE
Zou, C., Li, K., & Zhang, L. (2011). The categorial logic of vacuous components in natural language. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6953 LNAI, pp. 370–381). https://doi.org/10.1007/978-3-642-24130-7_27
Mendeley helps you to discover research relevant for your work.