模态逻辑的完全性理论至今已经有了很大发展,其证明通常也是逻辑研究中重要且极其困难的一环。从简单的证明命题逻辑有效性的真值表、归谬法的思想出发到反模型的建立;从最早证明模态逻辑系统的Kripke-语义图的出现到Hughes and Gressw...模态逻辑的完全性理论至今已经有了很大发展,其证明通常也是逻辑研究中重要且极其困难的一环。从简单的证明命题逻辑有效性的真值表、归谬法的思想出发到反模型的建立;从最早证明模态逻辑系统的Kripke-语义图的出现到Hughes and Gresswell对Kripke-语义图的修正;从L.Henkin极大一致集的提出到从属模型和典范模型的建立;从典范模型的广泛使用到Bull有限模型的建立无不体现了这一点。对正规模态逻辑系统完全性证明的层层刨析,可以更好地把握和使用完全性证明方法。展开更多
直接定义模型,不定义框架是条件句逻辑研究中的一个惯常现象。作者以唐纳德.纽特在Topics in Conditional Logic一书中给出的条件句逻辑系统W为出发点,引入了Wo=W+RCEA,并证明了Wo的框架完全性,进而讨论RCEA的取舍对条件句逻辑完全性的...直接定义模型,不定义框架是条件句逻辑研究中的一个惯常现象。作者以唐纳德.纽特在Topics in Conditional Logic一书中给出的条件句逻辑系统W为出发点,引入了Wo=W+RCEA,并证明了Wo的框架完全性,进而讨论RCEA的取舍对条件句逻辑完全性的影响,指出没有RCEA的条件句逻辑直接定义模型,不定义框架是有原因的,而有RCEA的系统则可以进一步讨论框架完全性问题。展开更多
文摘模态逻辑的完全性理论至今已经有了很大发展,其证明通常也是逻辑研究中重要且极其困难的一环。从简单的证明命题逻辑有效性的真值表、归谬法的思想出发到反模型的建立;从最早证明模态逻辑系统的Kripke-语义图的出现到Hughes and Gresswell对Kripke-语义图的修正;从L.Henkin极大一致集的提出到从属模型和典范模型的建立;从典范模型的广泛使用到Bull有限模型的建立无不体现了这一点。对正规模态逻辑系统完全性证明的层层刨析,可以更好地把握和使用完全性证明方法。
文摘直接定义模型,不定义框架是条件句逻辑研究中的一个惯常现象。作者以唐纳德.纽特在Topics in Conditional Logic一书中给出的条件句逻辑系统W为出发点,引入了Wo=W+RCEA,并证明了Wo的框架完全性,进而讨论RCEA的取舍对条件句逻辑完全性的影响,指出没有RCEA的条件句逻辑直接定义模型,不定义框架是有原因的,而有RCEA的系统则可以进一步讨论框架完全性问题。
