Commentary on Jaakko Hintikka's "IF Logic and Linguistic Theory".
Gabriel SanduPublished in: FLAP (2017)
Keyphrases
- formal theory
- computational model
- theoretical framework
- computer algebra
- theoretical basis
- proof theory
- artificial intelligence
- natural language processing
- boolean algebra
- logical framework
- mathematical theory
- formal logic
- database
- commonsense reasoning
- set theory
- general theory
- current status
- decision theory
- data sets