Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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:56
Open Document
File Size: 418,41 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