|
|||||
|
|
| 一个刻画句子顺序的逻辑 | |
| 引用本文： | 郭向阳.一个刻画句子顺序的逻辑[J].湖南科技大学学报(社会科学版),2013,16(5):27-30. |
| 作者姓名： | 郭向阳 |
| 作者单位： | 怀化学院 政法系，湖南 怀化 418008 |
| 基金项目： | 国家社科基金项目“信息变化的逻辑研究”（12CZX055）；湖南省教育厅项目“信息更新逻辑的完全性研究”（12C0856） |
| 摘 要： | 更新语义认为句子的意义在于改变了主体的信息状态。Veltman用更新语义刻画了一个关于认知的可能性的模态词might，S5系统相对于Veltman提出的更新语义是可靠的和完全的。在更新语义的基础上可以用形如φ;ψ公式刻画句子先φ后ψ的次序，对应的公理系统S5S也是可靠的和完全的。 |
| 关 键 词： | 更新语义 句子次序 公理化系统 可靠性 完全性 |
| 点击此处可从《湖南科技大学学报(社会科学版)》浏览原始摘要信息 | |
| 点击此处可从《湖南科技大学学报(社会科学版)》下载免费的PDF全文 | |