Categorial Type Logics

Categorial Type Logics (1997)

by Michael Moortgat

Venue:	Handbook of Logic and Language
Citations:	203 - 5 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Categorial Type Logics	INFERENCE
AUTHOR NAME	Michael Moortgat	SVM HeaderParse 0.1
AUTHOR AFFIL	Utrecht Institute of Linguistics, OTS	SVM HeaderParse 0.2
ABSTRACT	Contents 1 Introduction: grammatical reasoning 1 2 Linguistic inference: the Lambek systems 5 2.1 Modelinggrammaticalcomposition ............................ 5 2.2 Gentzen calculus, cut elimination and decidability . . . . . . . . . . . . . . . . . . . . 9 2.3 Discussion: options for resource management . . . . . . . . . . . . . . . . . . . . . . 13 3 The syntax-semantics interface: proofs and readings 16 3.1 Term assignment for categorial deductions . . . . . . . . . . . . . . . . . . . . . . . . 17 3.2 Natural language interpretation: the deductive view . . . . . . . . . . . . . . . . . . . 21 4 Grammatical composition: multimodal systems 26 4.1 Mixedinference:themodesofcomposition........................ 26 4.2 Grammaticalcomposition:unaryoperations ....................... 30 4.2.1 Unary connectives: logic and structure . . . . . . . . . . . . . . . . . . . . . . . 31 4.2.2 Applications: imposing constraints, structural relaxation	user correction - Legacy Corrections
YEAR	1997	INFERENCE
VENUE	Handbook of Logic and Language	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	93--177	INFERENCE
CITATIONS	78 found	ParsCit 1.0