共 26 条
[2]
Chang C.C., 1958, T AM MATH SOC, V88, P467
[4]
Dudek W.A., 1998, DEMONSTRATIO MATH, V21, P369
[5]
Dudek W.A., 1990, MATH JAPON, V35, P1131
[7]
Hajek P., 1998, METAMATHEMATICS FUZZ
[8]
AN ALGEBRA RELATED WITH A PROPOSITIONAL CALCULUS
[J].
PROCEEDINGS OF THE JAPAN ACADEMY,
1966, 42 (01)
:26-&
[9]
Jun Y. B., 2004, SCI MATH JAPONICAE, V60, P613, DOI DOI 10.1016/J.CAMWA.2010.05.024
[10]
Kondo M., 2005, MATHWARE SOFT COMPUT, V12, P41