Tautologies of Nonlinear Odering Logic System W~2

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.
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    0
    References
    0
    Citations
    NaN
    KQI
    []