Logic of primary-conditionals and secondary-
Liu Zhuang-hu, LI Xiao-wu · 2006
Firstly, the authors analyzed the properties of primary-ondition- als and secondary-conditionals, establishthe minimum system C2Lm of pri- mary-conditionals and secondary-conditionals, and then prove some of the formal theorems of the system which have important intuitive meanings. Secondly, the authors constructed the neighborhood semantics, prove the soundness of C2Lm, introduce a general concept of canonical model by the neighborhood semantics, and then prove the completeness of C2Lm by the canonical model. Finally, according to the technical results of the minimum system C2Lm, the authors discuss some of the important problems concern- ing primary-conditionals and secondary- onditionals.