Logic diagrams; Visual reasoning; Diagrammatic reasoning; Intermediate quantifiers; Syllogism;
机译:模糊自然逻辑中带有中间量词的三段论和五平方
机译:通过Carroll图表对分类三段论的新算法决策
机译:三段论会犯下Petitio Principii吗?推理规则在密尔真理逻辑中的作用
机译:马里奥逻辑图中索里式克里斯蒂普斯的不可言喻。命题演算只能是三段论吗?
机译:Gersonides的逻辑:对某些文档的分析,带有部分版本和“正确的三段论书”(犹太语,情态)的翻译。
机译:模糊自然逻辑中带有中间量词的对立等级立方体
机译:模糊自然逻辑中的中间量词的反对分级的渐变立方体
机译:Y-12建筑物9201-4的工厂净化和退役技术逻辑图。第2卷:技术逻辑图