10.3969/j.issn.1000-0763.2000.03.014
亨迪卡的IF逻辑述评
IF逻辑是当代著名逻辑学家兼哲学家雅各·亨迪卡新近所创立的一种非经典逻辑,亨迪卡自称它将导致“逻辑学和数学基础研究中的一场革命”。本文论述了IF逻辑的缘起、主要结果以及可能产生的影响。
量词依赖、量词独立、游戏论语义学、IF逻辑
22
B085(哲学流派及其研究)
2006-09-29(万方平台首次上网日期,不代表论文的发表时间)
共9页
20-28
10.3969/j.issn.1000-0763.2000.03.014
量词依赖、量词独立、游戏论语义学、IF逻辑
22
B085(哲学流派及其研究)
2006-09-29(万方平台首次上网日期,不代表论文的发表时间)
共9页
20-28
国家重点研发计划“现代服务业共性关键技术研发及应用示范”重点专项“4.8专业内容知识聚合服务技术研发与创新服务示范”
国家重点研发计划资助 课题编号:2019YFB1406304
National Key R&D Program of China Grant No. 2019YFB1406304
©天津万方数据有限公司 津ICP备20003920号-1
违法和不良信息举报电话:4000115888 举报邮箱:problem@wanfangdata.com.cn