IF逻辑相关论文
IF逻辑是当代著名逻辑学家兼哲学家雅各·亨迪卡新近所创立的一种非经典逻辑,亨迪卡自称它将导致“逻辑学和数学基础研究中的一场......
IF逻辑全名为独立友好的一阶逻辑,于上世纪80年代末90年代初由欣迪卡提出.欣迪卡发现在数学和自然语言中,不但存在传统一阶逻辑所......
Extended IF逻辑是一阶逻辑的扩张,其主要特点是可表达量词间的相互依赖和独立关系,但其命题部分至今没有得到公理化.基于Cirquent演......
雅各·亨迪卡是我们时代最有影响力的逻辑学家和哲学家之一,他在逻辑学和哲学方面都有重要的贡献。概括起来,雅各·亨迪卡......
分枝量词揭示了量词之间的相对独立性,其语义解释历来存在争议,而问题的关键在于组合原则的存留。实际上,组合原则具有可塑性。可......