Tautologies of Nonlinear Odering Logic System W~2
Xin Xiaodong · 2002
The nonlinear ordering logic system W2 are drfined, and the tautologies and generalized tautologies of the logic system W2 are discussed in the paper. It is proved that some results of the W and W are similar.