Date: 2013-11-13 00:43:56Propositional calculus Boolean algebra Complexity classes Mathematical constructivism Non-classical logic Categorial grammar NP Intuitionistic logic Natural deduction Logic Mathematical logic Theoretical computer science | | 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 ListSource URL: www.purelytheoretical.comDownload Document from Source Website File Size: 418,41 KBShare Document on Facebook
|