文章摘要
一个刻画句子顺序的逻辑
A Logic of Characterizing Sentences Sequence
  
DOI:
中文关键词: 更新语义  句子次序  公理化系统  可靠性  完全性
英文关键词: update semantics  the sentences sequence  axiomatic system  soundness  completeness
基金项目:国家社科基金项目“信息变化的逻辑研究”(12CZX055);湖南省教育厅项目“信息更新逻辑的完全性研究”(12C0856)
作者单位
郭向阳 怀化学院 政法系湖南 怀化 418008 
摘要点击次数: 1884
全文下载次数: 140
中文摘要:
      更新语义认为句子的意义在于改变了主体的信息状态。Veltman用更新语义刻画了一个关于认知的可能性的模态词might,S5系统相对于Veltman提出的更新语义是可靠的和完全的。在更新语义的基础上可以用形如φ;ψ公式刻画句子先φ后ψ的次序,对应的公理系统S5S也是可靠的和完全的。
英文摘要:
      The meaning of a sentence is to change the information states of a subject in update semantics. Veltman characterized a modal word “might” of the possibility of cognitive with update semantics. The system of S5 is sound and complete with respect to update semantics Veltman presented. We characterize the sentences sequence of in the form of φ;ψ. The system of S5S is sound and complete with respect to update semantics.
查看全文   查看/发表评论  下载PDF阅读器
关闭