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