二值逻辑系统(L)相关论文
引入了最大前提的概念,研究了二值逻辑系统(L)中GMT及多重GMT规则的语构理论,实现了FMT问题的形式推理机制,最后给出了最大前提与......
引入了最大前提的概念,研究了二值逻辑系统（L）中GMT及多重GMT规则的语构理论,实现了FMT问题的形式推理机制,最后给出了最大前提与根......
