Logic diagrams; Indemonstrables; Visual reasoning; Syllogism;
机译:带有概率元素的逻辑网理论对命题演算的推广
机译:灰色鹦鹉的逻辑推理? 对析出三段论的案例研究
机译:三段论的图解演算
机译:用于命题表示和演算的建设性逻辑网络
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:人们喜欢逻辑真理:在基本命题中测试对逻辑价值的直觉检测
机译:0三段论的图解演算
机译:命题计算的数字化和单一功能计算