Logic algebras are the algebraic foundations of reasoning mechanism of many fields such as computer sciences, information sciences, cybernetics, artificial intelligence and so on.

• 逻辑代数是计算机科学、信息科学、控制论与人工智能等许多领域推理机制的代数基础。