条件句逻辑完全性问题探微初步

直接定义模型，不定义框架是条件句逻辑研究中的一个惯常现象。作者以唐纳德·纽特在Topicsin Conditional Logic一书中给出的条件句逻辑系统W为出发点，引入了W°=W＋RCEA，并证明了妒的框架完全性，进而讨论RCEA的取舍对条件句逻辑完全性的影响，指出没有RCEA的条件句逻辑直接定义模型，不定义框架是有原因的，而有RCEA的系统则可以进一步讨论框架完全性问题。