经数命题相关论文
二层单准Prolog语言基于互逆主义逻辑中的二层单准演算,其中会出现二层递归现象、即头和体中出现相同的经数联符.本文讨论了五种二......
互逆主义逻辑是一种全新的逻辑体系,它从命题成分的分析入手,说明命题是由项组成.命题又可分为不同的层次,高层命题由低层命题构成......
