Title :
Set-valued functions and regularity
Author :
Takagi, Noboru ; Nakamura, Yutaka ; Nakashima, Kyoichi
Author_Institution :
Dept. of Electron. & Inf., Toyama Prefectural Univ., Toyama, Japan
Abstract :
In this paper, we focus on regularity and set-valued functions. The regularity was first introduced by S.C. Kleene (1952) into the propositional connectives of a ternary logic. Then, M. Mukaidono (1986) expanded the regularity of Kleene into n-variable ternary functions, and a ternary function which is regular is called a regular ternary logic function. Some studies expanded regular ternary logic functions into τ-valued functions, and studied properties of them. In this paper, we propose another extension of the concepts of the regularity in the sense of Kleene and Mukaidono. That is, we introduce regularity into r-valued set-valued functions. Further, we give properties of the set-valued functions with the regularity
Keywords :
multivalued logic; τ-valued functions; n-variable ternary functions; propositional connectives; regularity; set-valued functions; ternary logic; Informatics; Multivalued logic;
Conference_Titel :
Multiple-Valued Logic, 1997. Proceedings., 1997 27th International Symposium on
Conference_Location :
Antigonish, NS
Print_ISBN :
0-8186-7910-7
DOI :
10.1109/ISMVL.1997.601379