DocumentCode
436395
Title
Derivinc finite models of kleene algebra based on the method of indeterminate coefficients
Author
Ninomiya, T. ; Mukaidono, M.
Author_Institution
Tamagawa University, Japan
Volume
18
fYear
2004
fDate
June 28 2004-July 1 2004
Firstpage
127
Lastpage
132
Abstract
By using the Method of lndeterminate Coefficients, we can clarify the fundamental properties of axioms of Kleene algebra, especially derive finite models of the algebra. In this paper, we transform the logical equations to those including one kind of unknown logical function. Finally, all models of kleene algebra of 9 elements are derived
Keywords
Algebra; Fuzzy logic; Fuzzy sets; Large Hadron Collider; Virtual colonoscopy; Finite models; Kleene algebra; The Method of lndeterminate Coefficients;
fLanguage
English
Publisher
ieee
Conference_Titel
Automation Congress, 2004. Proceedings. World
Conference_Location
Seville
Print_ISBN
1-889335-21-5
Type
conf
Filename
1441030
Link To Document