阿达玛矩阵与沃尔什系统的布尔模型(英文)

本文用经典的命题逻辑框架介绍了阿达玛矩阵和沃尔什函数系统的概念全文分四节．第一节，提出了所论命题逻辑的语法与语义第二节，在布尔模型的讨论中包括两个算法，它们用于对上述概念进行定义，同时这一节还描述了布尔模型与阿达玛矩阵及沃尔什系统的对应关系第三节，给出布尔模型的某些性质，如对称、反对称、级、距离等，同时对重要的事实（定理3、定理5、推论1及定理7）给出了证明前面三节提供了例子。