Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory bei - Shape grammar - Document - PDFSEARCH.IO

First Page	Meta Content
	Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory bei Add to Reading List Document Date: 2013-11-13 00:43:51 Open Document File Size: 421,73 KB Share Result on Facebook Person Sinclair Ivanova / / SocialTag Propositional calculus Boolean algebra Complexity classes Mathematical constructivism Non-classical logic Categorial grammar NP Intuitionistic logic Natural deduction Logic

Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory beiAdd to Reading List