Department of Mathematics, Indiana University,Bloomington, IN 47405, USA;
syllogism; completeness theorem;
机译:十七世纪的学术特征。 逻辑和数学之间?
机译:具有“最多”的三段逻辑
机译:与“最”的三节逻辑逻辑
机译:使用电子学习工具教授命题和三段逻辑
机译:Aristotle的三段论中的计算
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:带动词的三段论逻辑
机译:模糊逻辑中的三段论推理及其在处理推理中的应用