Identification of fuzzy logic functions with constants-partially specified multiple-valued Kleenean functions

Some properties of the partially specified fuzzy logic functions with constants are investigated and the identification problem of logic formula is solved. A fuzzy logic (switching) function is a mapping represented by means of logic formula which consists n variables, three logical connectives, and two constants of 0 and 1. In this paper, any truth values of [0,1] are allowed to be constants in logic formula. The fuzzy logic function with arbitrary constants is called multiple-valued Kleenean function. Main result is a necessary and sufficient condition for an identification problem of Kleenean function to be solved