Keyphrases
- classical logic
- truth values
- inference rules
- sequent calculus
- context sensitive
- modal logic
- logic programming
- wordnet
- artificial intelligence
- multi valued
- case study
- valued logic
- natural language processing
- predicate logic
- information retrieval
- word meaning
- automated reasoning
- semantic relations
- domain specific
- logical framework
- nonmonotonic logics
- natural deduction
- lexical information
- bayesian networks
- search engine
- lexical features
- database
- sound and complete axiomatization