向量真度相关硕士博士期刊学术论文

首次将谓词逻辑系统中一阶语言的有限解释按照其论域的势进行分层，提出每一层解释类下公式的n真度，最终给出公式向量真度的定义，更直......