Normal forms for fuzzy logics: a proof-theoretic approach.
Petr CintulaGeorge MetcalfePublished in: Arch. Math. Log. (2007)
Keyphrases
- normal form
- proof theory
- database theory
- database design
- nested relations
- relational algebra
- functional dependencies
- proof theoretic
- relational databases
- fuzzy logic
- information content
- expressive power
- fuzzy sets
- formal definitions
- data dependencies
- databases
- multi valued
- prime implicates
- relational database theory
- linear logic
- modal logic
- decision procedures
- default reasoning
- theorem proving
- data model