Tomoko Ninomiya

  • Citations Per Year
Learn More
Usually the number of truth-values and the meanings of operators in a given axiom set for many-valued logic are not defined explicitly but done implicitly by many formulas derived from the set. However, it is very laborious to determine them. In this paper, axioms and undefined operators are treated as logical equations and unknown logical functions(More)
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
  • 1