A complete many-valued logic with product-conjunction.
Petr HájekLluís GodoFrancesc EstevaPublished in: Arch. Math. Log. (1996)
Keyphrases
- machine learning
- modal logic
- truth values
- decision trees
- logic programming
- classical logic
- product line
- product design
- genetic algorithm
- expressive power
- multi valued
- propositional variables
- data sets
- predicate logic
- nonmonotonic logics
- set theory
- inference rules
- design process
- logic programs
- control system
- neural network
- databases