温特

维特:刘易斯反事实推理逻辑的内部计算实现。我们提出了一个VINTE,一个由Lewis在70年代提出的用于反事实推理的条件逻辑的定理证明器。VINTE实现了一些最近为基本系统𝕍引入的内部计算,以及它与公理ℕ、𝕋、ℂ、𝕎和𝔸的重要扩展。VINTE的设计灵感来源于精益T-ap方法,并在Prolog中实现。文中给出了一些实验结果,证明了VINTE的性能是有前途的。