论文部分内容阅读
认为传统的二值布尔不利大规模集成电路的设计，尤其是在逻辑门电路上，为此引入了三值逻辑。此三值逻辑是基本集成电路的物理性质，且碰巧等同于Ｋｌｅｎｎｅ的三值逻辑，鉴于Ｋｌｅｅｎｅ三值逻辑的不完备性。文章将论域理论以及普通不动点算子运用于此，使三值逻辑获得此逻辑系统的调完备性定理，文章认为这个结果有利于集成电路设计的可靠性，具有广阔的应用前景。