论文部分内容阅读
本文试图澄清逻辑系统之为“演绎”或“归纳”的涵义，提出逻辑系统的“i-i型”概念(在一个具有真值集{Ti|i∈I}的逻辑语义下)。对任意I，j∈I及任何逻辑语义，我们定义了此语义的山[i，j]-镜像。并证明了对任意c，d∈I，一个命题逻辑系统如果在具有真值集{Ti|i∈I}的逻辑语义下是c-c型的，那么此系统在此逻辑语义的[c，d]-镜像下就是d-d型的。