论文部分内容阅读
将逻辑系统-/W,W,Wk中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中,主要结果是:得到了逻辑公式集F(S)在系统中关于同余的分划;证明了在该逻辑系统中对每个无理数α而言,不存在可达α-重言式,且对每个实数α而言式不存在可达α^+-重言式,给出了广义重言式、广义矛盾式各类之间的关系定理。