(包干项目)非经典逻辑中“否定词”的语义与证明论研究
点击次数:
所属单位:哲学与社会发展学院
负责人姓名:梁飞
项目性质:纵向
项目级别:国家级
项目编号:0C677DCD6CAF2908E063BE07C2CAC21E
项目批准号:23FZXB054
立项时间:2023-11-14
开始日期:2023-11-14
计划完成时间:2026-11-14
结项日期:2026-11-14
(包干项目)非经典逻辑中“否定词”的语义与证明论研究
点击次数:
所属单位:哲学与社会发展学院
负责人姓名:梁飞
项目性质:纵向
项目级别:国家级
项目编号:0C677DCD6CAF2908E063BE07C2CAC21E
项目批准号:23FZXB054
立项时间:2023-11-14
开始日期:2023-11-14
计划完成时间:2026-11-14
结项日期:2026-11-14