Math Department., University of Illinois-Chicago, Chicago, IL;
机译:模糊自然逻辑中带有中间量词的三段论和五平方
机译:三段论会犯下Petitio Principii吗?推理规则在密尔真理逻辑中的作用
机译:基本线性逻辑中的三段论
机译:Mario逻辑图中解决的带有中间量词的三段论
机译:Gersonides的逻辑:对某些文档的分析,带有部分版本和“正确的三段论书”(犹太语,情态)的翻译。
机译:将虚拟反应纳入基于逻辑的基于配体的虚拟筛选方法中以发现新的潜在客户
机译:关于减少荒谬和广义假设三段论在模糊逻辑中的一些评论
机译:确定和不确定线性三段论的推理