塞尔纳达斯，A。;J·拉斯加。;塞尔纳达斯，C。;马特乌斯，P。 单扇出不可靠门逻辑电路的近似推理。 （英语） Zbl 1305.03034号 J.日志。计算。 24，第5期，1023-1069（2014）. 摘要：提出了经典命题逻辑的一个完整扩展，用于不可靠门电路的推理。将经典推理外推到这种不可靠电路的陷阱被广泛地说明了。通过附加条件，证明了几个元定理是成立的。在验证逻辑电路和提高其可靠性方面提供了应用。 引用于1审查引用于2文件 MSC公司： 03B70号 计算机科学中的逻辑 94立方厘米 切换理论，布尔代数的应用；布尔函数（MSC2010） 关键词：概率逻辑;不可靠电路;组合连接词 PDF格式BibTeX公司 XML格式引用 \textit{A.Sernadas}等人，J.Log。计算。24，第5号，1023--1069（2014；Zbl 1305.03034） 全文： 内政部 链接