DocumentCode
2993428
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
fYear
1999
fDate
1999
Firstpage
125
Lastpage
130
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1999. Proceedings. 1999 29th IEEE International Symposium on
Conference_Location
Freiburg
ISSN
0195-623X
Print_ISBN
0-7695-0161-3
Type
conf
DOI
10.1109/ISMVL.1999.779706
Filename
779706
Link To Document