Resolution principle based on finite chain lattice-valued proposition logic FCLP(X).
Dan MengXiaoping QiuPublished in: FUZZ-IEEE (2003)
Keyphrases
- valued logic
- classical logic
- linear temporal logic
- logic programming
- modal logic
- asynchronous circuits
- finite number
- artificial intelligence
- ctl model update
- consequence finding
- predicate logic
- low resolution
- high resolution
- logical framework
- higher resolution
- set theory
- digital circuits
- inference rules
- formal theory
- proof theory
- multiresolution
- high quality
- conflict detection
- databases