Titlebook: Logical Aspects of Computational Linguistics; 8th International Co Nicholas Asher,Sergei Soloviev Conference proceedings 2014 Springer-Verl

Hla461

Introduction

闡明

Pseudogapping as Pseudo-VP Ellipsiseudogapping poses a particularly challenging problem for previous analyses in both the transformational and nontransformational literature. The flexible notion of constituency countenanced in categorial grammar in general (including Hybrid TLCG) enables a simple analysis of pseudogapping that overco

gait-cycle

Monotonicity Reasoning in Formal Semantics Based on Modern Type Theoriesl language inference (NLI) where proof assistants can be used for inference on computers. In this paper, we consider how monotonicity reasoning can be dealt in MTTs, so that it can contribute to NLI based on the MTT-semantics. We show that subtyping is crucial in monotonicity reasoning in MTTs becau

MILL

Semantically Inactive Multiplicatives and Words as Types1990[2]; Moortgat 1997[9]), but to our knowledge there has been no proposal for semantically inactive multiplicatives. In this paper we formulate such a proposal (thus filling a gap in the typology of categorial connectives) in the context of the displacement calculus Morrill et al. (2011[16]), and

BAN

immunity

同來核對

BUCK

An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents also define a multi-valued interpretation working for the multiplicative fragments. The interpretations are applied to obtain some general results on the complexity of substructural logics and the generative capacity of type grammars.

得意牛

The Granularity of Meaning in Proof-Theoretic Semanticsngs, in particular distinguishing the meanings of logically equivalent sentences. A certain coarsening by means of equating meanings based on identical grounds for assertion is proposed, useful in certain contexts.