Title :
Clarifying the axioms of Kleene algebra based on the method of indeterminate coefficients
Author :
Ninomiya, Tomoko ; Mukaidono, Masao
Author_Institution :
Inf. Sci. Center, Meiji Univ., Japan
Abstract :
After introducing the method of indeterminate coefficients, by which we can derive all finite models satisfying a given set of axioms, we derive all models of 8 elements of Kleene algebra by using the method, and find out many examples of a set of independent and complete axioms of Kleene algebra by checking whether each axiom in Kleene algebra is independent from others or not based on the method
Keywords :
Boolean algebra; fuzzy logic; multivalued logic; Kleene algebra; axioms; finite models; indeterminate coefficients; Algebra; Counting circuits; Equations; Fuzzy logic; Fuzzy set theory; Humans; Logic functions; Read only memory;
Conference_Titel :
Multiple-Valued Logic, 1999. Proceedings. 1999 29th IEEE International Symposium on
Conference_Location :
Freiburg
Print_ISBN :
0-7695-0161-3
DOI :
10.1109/ISMVL.1999.779706
