Keyphrases
- inference rules
- valued logic
- classical logic
- truth values
- modal logic
- expressive power
- propositional calculus
- proof theory
- sequent calculus
- genetic algorithm
- proof procedures
- proof theoretic
- first order logic
- fuzzy sets
- computer vision
- coalition logic
- intuitionistic logic
- database
- theorem proving
- model checking
- search engine
- real world
- data sets
- real time