首页
智能降重
一键组稿
论文查重
写作助手
首页
>
标签
>
经典谓词逻辑论文
经典谓词逻辑论文
关系逻辑论文
命题逻辑论文
逻辑论文
逻辑分析法论文
逻辑学论文
经典论文
逻辑结构论文
逻辑能力论文
逻辑思维论文
形式逻辑论文
直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统论文
直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统余军成(贵州工程应用技术学院逻辑与文化研究中心,贵州毕节551700)摘要:在达米特给出的直觉主义谓词逻辑矢列演算系统的基础上,构造...