Title :
Derivinc finite models of kleene algebra based on the method of indeterminate coefficients
Author :
Ninomiya, T. ; Mukaidono, M.
Author_Institution :
Tamagawa University, Japan
fDate :
June 28 2004-July 1 2004
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;
Conference_Titel :
Automation Congress, 2004. Proceedings. World
Conference_Location :
Seville
Print_ISBN :
1-889335-21-5
