The prospects for mathematical logic in the twenty-first century.
Samuel R. BussAlexander S. KechrisAnand PillayRichard A. ShorePublished in: Bull. Symb. Log. (2001)
Keyphrases
- computer algebra
- logic programming
- neural network
- proof theory
- mathematical theory
- human reasoning
- mathematical expressions
- modal logic
- information and communication technologies
- classical logic
- multi valued
- automated reasoning
- logical framework
- data sets
- mathematical models
- data model
- expert systems
- social networks
- information retrieval
- deductive reasoning
- linear temporal logic