Finite-Valued Approximations of Product Logic.
Stefano AguzzoliBrunella GerlaPublished in: ISMVL (2000)
Keyphrases
- valued logic
- multi valued
- classical logic
- logic programming
- linear temporal logic
- life cycle
- valued semantics
- modal logic
- asynchronous circuits
- digital circuits
- approximation methods
- product quality
- proof theory
- propositional logic
- first order logic
- product line
- sound and complete axiomatization
- truth values
- computational properties
- t norm
- product information
- data sets
- product development
- finite number
- default logic
- closed form
- rough sets
- fuzzy logic