期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
条件句逻辑完全性问题探微初步
1
作者 张立英 《湖南科技大学学报(社会科学版)》 2007年第4期35-40,共6页
直接定义模型,不定义框架是条件句逻辑研究中的一个惯常现象。作者以唐纳德.纽特在Topics in Conditional Logic一书中给出的条件句逻辑系统W为出发点,引入了Wo=W+RCEA,并证明了Wo的框架完全性,进而讨论RCEA的取舍对条件句逻辑完全性的... 直接定义模型,不定义框架是条件句逻辑研究中的一个惯常现象。作者以唐纳德.纽特在Topics in Conditional Logic一书中给出的条件句逻辑系统W为出发点,引入了Wo=W+RCEA,并证明了Wo的框架完全性,进而讨论RCEA的取舍对条件句逻辑完全性的影响,指出没有RCEA的条件句逻辑直接定义模型,不定义框架是有原因的,而有RCEA的系统则可以进一步讨论框架完全性问题。 展开更多
关键词 BCS-框架 典范结构 г-典范框架 г-典范模型
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部