Title :
Clarifying the Systems of Axioms Based on the Method of Indeterminate Coefficients
Author :
Ninomiya, Tomoko ; Mukaidono, Masao
Author_Institution :
Dept. of Int. Bus. Adm., Tamagawa Univ., Tokyo
Abstract :
The method of indeterminate coefficients is a strong tool to find out finite models satisfying a system of axioms and to prove that an axiom is independent from the other axioms. We describe the results which were obtained by investigating some systems of axioms based on the method. Then we show some remained problems.
Keywords :
Boolean algebra; axiom systems; finite models; indeterminate coefficients; Boolean algebra; Computer science; Counting circuits; Equations; Logic; B.Russell´s logical axioms; Boolean algebra; Kleene algebra; the method of indeterminate coefficients;
Conference_Titel :
Multiple-Valued Logic, 2009. ISMVL '09. 39th International Symposium on
Conference_Location :
Naha, Okinawa
Print_ISBN :
978-1-4244-3841-9
Electronic_ISBN :
0195-623X
DOI :
10.1109/ISMVL.2009.67