A normal form which preserves 1-tautologies and 0-contradictions in a class of residuum-based propositional fuzzy logics.
Benjamín René Callejas BedregalRegivan H. N. SantiagoAnne Magály de Paula CanutoPublished in: FUZZ-IEEE (2004)
Keyphrases
- normal form
- prime implicates
- functional and multivalued dependencies
- database design
- functional dependencies
- relational databases
- relational algebra
- boolean expressions
- propositional formulas
- nested relations
- knowledge compilation
- multi valued
- information content
- expressive power
- first order logic
- modal logic
- fuzzy sets
- data dependencies
- propositional logic
- general logic programs
- default logic
- inference rules
- set valued
- database schemes
- classical logic
- knowledge base
- disjunctive normal form
- logic programs
- join dependencies
- database systems