Results 1-1 of 1
 | 
亨迪卡的IF逻辑述评
期刊文章
Fulltext
陈波
自然辩证法通讯
2000
[ABSTRACT] IF逻辑是当代著名逻辑学家兼哲学家雅各·亨迪卡新近所创立的一种非经典逻辑，亨迪卡自称它将导致“逻辑学和数学基础研究中的一场革命”。本文论述了IF逻辑的缘起、主要结果以及可能产生的影响。
[KEYWORDS] 量词依赖; 量词独立; 游戏论语义学; IF逻辑
Results 1-1 of 1
  • <<
  • 1
  • >>

Data Facts