Review: Logic, Language and Computation, by Seiki Akama (ed.).
Jaroslav PeregrinPublished in: Prague Bull. Math. Linguistics (2000)
Keyphrases
- proof theory
- language learning
- agent programming
- formal language
- conditional logic
- natural language
- formal theory
- operational semantics
- programming language
- intuitionistic logic
- default reasoning
- modal logic
- modal operators
- linear temporal logic
- classical logic
- formal logic
- model theoretic
- highly expressive
- predicate calculus
- efficient computation
- dynamic logic
- logic programming
- lambda calculus
- neural network
- logic programming language
- expressive power
- inference rules
- computational linguistics
- language processing
- literature review