三值自由模态逻辑FML

FML是以自由逻辑为基础构建起来的一个三值模态谓词逻辑表列系统。若一个词项无所指（空词项）则包含该词项的简单句子无所指（即无真值），FML的偏函数语义模型体现了这一思想。通过借鉴普利斯特的一度衍推系统和菲汀的抽象谓词思想，FML系统刻画了在内涵语境下关于空词项的推理规律。最后，用数模的方法证明了FML的强完全性。