DocumentCode
3222032
Title
Set-valued functions and regularity
Author
Takagi, Noboru ; Nakamura, Yutaka ; Nakashima, Kyoichi
Author_Institution
Dept. of Electron. & Inf., Toyama Prefectural Univ., Toyama, Japan
fYear
1997
fDate
28-30 May 1997
Firstpage
89
Lastpage
94
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1997. Proceedings., 1997 27th International Symposium on
Conference_Location
Antigonish, NS
Print_ISBN
0-8186-7910-7
Type
conf
DOI
10.1109/ISMVL.1997.601379
Filename
601379
Link To Document