Some results on the minimal coverings of precomplete classes in partial K-valued logic functions.

Robin Liu Jianer Chen Songqiao Chen

Published in: SMC (2003)

Keyphrases

valued logic
classical logic
databases
data analysis
general purpose
logic programming
automated reasoning