机译:具有“最多”的三段逻辑
Vrije Univ Amsterdam, Dept Comp Sci, NL-1081 HV Amsterdam, Netherlands|Indiana Univ, Dept Math, Bloomington, IN 47405 USA;
Indiana Univ, Dept Math, Bloomington, IN 47405 USA;
Syllogistic logic; majority quantifier; completeness theorem;
机译:十七世纪的学术特征。 逻辑和数学之间?
机译:与“最”的三节逻辑逻辑
机译:基于广义量词理论的亚里士多德三段论逻辑的公理化
机译:使用电子学习工具教授命题和三段逻辑
机译:Aristotle的三段论中的计算
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:探索关系三段逻辑的景观
机译:模糊逻辑中的三段论推理及其在处理推理中的应用