摘要
定义了非线性逻辑系统W^2,研究了W^2中的重言式及广义重言式,得到了若干与线性逻辑系统W^2中相类似的结果。
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.
出处
《固原师专学报》
2002年第3期1-5,共5页
Journal of Guyuan Teachers College
