SLO-代数相关硕士博士期刊学术论文

鞠实儿(1998)提出的一个基于开放世界预设的3-值逻辑系统(SLO),试图描述开放世界预设下知识表达和推理的逻辑结构. 它的特点是其否......