| 郭向阳.一个刻画句子顺序的逻辑[J].湖南科技大学学报(社会科学版),2013,16(5):27-30 |
| 一个刻画句子顺序的逻辑 |
| A Logic of Characterizing Sentences Sequence |
| |
| DOI： |
| 中文关键词: 更新语义 句子次序 公理化系统 可靠性 完全性 |
| 英文关键词: update semantics the sentences sequence axiomatic system soundness completeness |
| 基金项目:国家社科基金项目“信息变化的逻辑研究”（12CZX055）；湖南省教育厅项目“信息更新逻辑的完全性研究”（12C0856） |
|
| 摘要点击次数: 1984 |
| 全文下载次数: 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 sentences sequence of in the form of φ;ψ. The system of S5S is sound and complete with respect to update semantics. |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |
