Language, Logic, and the Brain.
Ray E. JenningsPublished in: Int. J. Cogn. Informatics Nat. Intell. (2007)
Keyphrases
- intuitionistic logic
- formal language
- programming language
- language learning
- proof theory
- dynamic logic
- predicate calculus
- lambda calculus
- modal operators
- operational semantics
- predicate logic
- logic programming
- modal logic
- order sorted
- conditional logic
- computational linguistics
- human brain
- brain activity
- defeasible logic
- multi valued
- target language
- highly expressive
- linear temporal logic
- artificial intelligence
- propositional dynamic logic
- monadic second order logic
- fixed point semantics
- temporal logic