IF逻辑相关论文
ＩＦ逻辑是当代著名逻辑学家兼哲学家雅各·亨迪卡新近所创立的一种非经典逻辑，亨迪卡自称它将导致“逻辑学和数学基础研究中的一场......
IF逻辑全名为独立友好的一阶逻辑,于上世纪80年代末90年代初由欣迪卡提出.欣迪卡发现在数学和自然语言中,不但存在传统一阶逻辑所......
Extended IF逻辑是一阶逻辑的扩张，其主要特点是可表达量词间的相互依赖和独立关系，但其命题部分至今没有得到公理化．基于Cirquent演......
