首页
智能降重
一键组稿
论文查重
写作助手
首页
>
标签
>
直觉主义谓词逻辑论文
直觉主义谓词逻辑论文
社会主义革命论文
历史主义论文
社会主义社会论文
资本主义社会论文
资本主义制度论文
马克思主义论文
本质主义论文
世界主义论文
关系逻辑论文
资本主义基本矛盾论文
直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统论文
直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统余军成(贵州工程应用技术学院逻辑与文化研究中心,贵州毕节551700)摘要:在达米特给出的直觉主义谓词逻辑矢列演算系统的基础上,构造...