Programs, grammars and arguments: a personal view of some connections between computation, language and logic
Joachim LambekPublished in: LICS (1993)
Keyphrases
- dynamic logic
- formal language
- agent programming
- declarative semantics
- natural language
- programs written
- visual languages
- programming language
- functional programs
- concurrent programming
- operational semantics
- deductive databases
- computer programs
- logic programming
- mildly context sensitive
- programming environment
- logic programming language
- proof theory
- intuitionistic logic
- declarative programming
- object oriented languages
- database languages
- logic programs
- formal theory
- formal languages
- recursive programs
- linear temporal logic
- predicate calculus
- fixed point semantics
- proof procedures
- grammar rules
- natural language processing
- context free
- language learning
- phrase structure
- fixpoint
- classical logic
- xml documents
- query language
- first order logic
- answer sets
- object oriented programming
- grammatical inference
- conditional logic
- model theoretic
- predicate logic
- control structures