10.3969/j.issn.1000-8934.2002.z1.002
命题逻辑系统的型
本文试图澄清逻辑系统之为“演绎”或“归纳”的涵义，提出逻辑系统的“i-i型”概念(在一个具有真值集{Ti|i∈I}的逻辑语义下)。对任意I，j∈I及任何逻辑语义，我们定义了此语义的山[i，j]-镜像。并证明了对任意c，d∈I，一个命题逻辑系统如果在具有真值集{Ti|i∈I}的逻辑语义下是c-c型的，那么此系统在此逻辑语义的[c，d]-镜像下就是d-d型的。
逻辑系统、逻辑语义、型、演绎、归纳
18
B813(逻辑学(论理学))
2006-09-29（万方平台首次上网日期，不代表论文的发表时间）
共4页
6-9
