Uniqueness of partially specified multiple-valued Kleenean function
説明
A multiple-valued Kleenean function is a mapping f/sub k/:[0,1]/sup n//spl rarr/[0,1], which is representable by a logic formula consisting n variables, three logical connectives, and any constant value of [0,1]. In this paper, some properties of the partially specified multiple-valued Kleenean functions by a subset A of [0,1] are investigated and the identification problem of logic formula is solved. The main result is a necessary and sufficient condition that a mapping f:A/spl rarr/[0,1] to be a unique Kleenean function.
収録刊行物
-
- Proceedings 25th International Symposium on Multiple-Valued Logic
-
Proceedings 25th International Symposium on Multiple-Valued Logic 242-247, 2002-11-19
IEEE Comput. Soc. Press