Keyphrases
- valued logic
- truth values
- classical logic
- propositional logic
- inference rules
- fuzzy logic
- fuzzy sets
- multi valued
- boolean algebra
- first order logic
- functional dependencies
- natural language
- lattice structure
- logic programs
- distributive lattices
- fuzzy relations
- automated reasoning
- linguistic information
- clifford algebra
- horn clauses
- datalog programs
- natural language processing
- database systems
- data sets
- membership functions
- information extraction
- syntactic analysis
- information retrieval
- logical implication
- lattice theory
- data mining