책 이미지
책 정보
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783642143212
· 쪽수 : 297쪽
· 출판일 : 2010-07-30
목차
Dependency Structures Derived from Minimalist Grammars.- Deforesting Logical Form.- On the Probability Distribution of Typological Frequencies.- A Polynomial Time Algorithm for Parsing with the Bounded Order Lambek Calculus.- LC Graphs for the Lambek Calculus with Product.- Proof-Theoretic Semantics for a Natural Language Fragment.- Some Interdefinability Results for Syntactic Constraint Classes.- Sortal Equivalence of Bare Grammars.- Deriving Syntactic Properties of Arguments and Adjuncts from Neo-Davidsonian Semantics.- On Monadic Second-Order Theories of Multidominance Structures.- The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-Free Tree Grammars.- A Formal Foundation for A and A-bar Movement.- Without Remnant Movement, MGs Are Context-Free.- The Algebra of Lexical Semantics.- Phonological Interpretation into Preordered Algebras.- Relational Semantics for the Lambek-Grishin Calculus.- Intersecting Adjectives in Syllogistic Logic.- Creation Myths of Generative Grammar and the Mathematics of Syntactic Structures.- On Languages Piecewise Testable in the Strict Sense.- A Note on the Complexity of Abstract Categorial Grammars.- Almost All Complex Quantifiers Are Simple.- Constituent Structure Sets I.














