有限值方陣系統的公理化
Axiomatization of Many—Valued Logical Systems出 版 物：《南京大学学报(自然科学版)》 (Journal of Nanjing University (Natural Sciences))
年 卷 期：1957年第3期
页 面：67-76页
摘 要：我們知道,一邏輯系統可由公理法而确定,亦可由方陣法(真值表法)而确定。因此,在討論邏輯系統时,发生了兩大問題: 1.对於一个由公理法所确定的逻辑系統,如何構作它的刻画方陣?(这个方陣所定的邏輯系統,恰和所給的系統相同)——构作刻画方陣問題。2.对於一个由方陣所确定的邏輯系統,如何構作它的公理?——公理化問題。这篇短文想討論后一問題,而且只討論由具有有限个值的方陣所确定的邏輯系統,如何加以公理化的問題。
同方期刊数据库