This chapter defines a notion of identity in the second-order paraconsistent logic LP. The notion does not have the properties of transitivity or ...
確定! 回上一頁