DocumentCode :
1698815
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
fYear :
2009
Firstpage :
280
Lastpage :
285
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multiple-Valued Logic, 2009. ISMVL '09. 39th International Symposium on
Conference_Location :
Naha, Okinawa
ISSN :
0195-623X
Print_ISBN :
978-1-4244-3841-9
Electronic_ISBN :
0195-623X
Type :
conf
DOI :
10.1109/ISMVL.2009.67
Filename :
5010413
Link To Document :
بازگشت