关于"现在"算子冗余性的一个注记

关于"现在"算子的技术分析始于坎普(H.Kamp).他在研究"现在"算子的冗余性问题时,通过引入J-tense的概念,把真值联结词和时态算子作为一种情形进行处理,造成了证明的晦涩.本文利用伯吉斯(J.Burgess)证明"现在"算子的冗余性思路,重新对"现在"算子在时态命题逻辑中的冗余性定理进行证明,补充了简化公式存在性这一关键步骤的证明,并利用证明中的处理方式,来分析自然语言中的时态语句.