三值自由模态逻辑FML

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