| 一个匹配生成更新语义的条件句系统 |
| |
| 引用本文： | 李小五.一个匹配生成更新语义的条件句系统[J].中山大学学报论丛,2009,2(3). |
| |
| 作者姓名： | 李小五 |
| |
| 作者单位： | 中山大学逻辑与认知研究所;中山大学哲学系 |
| |
| 摘 要： | 条件句系统通常用择类语义来刻画,此语义对条件句逻辑来说是标准的.一个择类模型可以用一个三元组(W,f,V)来表示,其中W≠φ,f是从 (W)×W到 (W)中的择类函数,且V是从一命题变元集PV到 (W)中的赋值函数.本文我们提出一个更新语义,它保留择类框架,但V被从PV到 (W) (W)中的一个更新函数代替,因为更新函数能表示动态命题而赋值函数则不能.最后我们证明一个条件句系统相对这样的语义有框架可靠性.
|
A Conditional System for Generated Update Semantics |
| |
| Xiaowu Li.A Conditional System for Generated Update Semantics[J].Supplement to the Journal of Sun Yatsen University,2009,2(3). |
| |
| Authors: | Xiaowu Li |
| |
| Abstract: | By generated update semantics we mean that it is an update semantics generated by standard semantic frames. In this paper, we will present such an update semantics that is generated by selection-class semantic frames for conditional systems, and thus prove the frame soundness of a conditional system for the semantics. |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
