在数理逻辑中，布尔值模型是普通的塔斯基主义者的结构或模型概念的推广，在其中命题的真值不被限定为"真"和"假"，而是从某个固定的完全布尔代数中取值，布尔值模型是 Dana Scott、Robert M. Solovay 和 Petr Vopěnka 在1960年代为了帮助理解 Paul Cohen 的力迫方法而介入的。
定义.固定一个完全布尔代数 "B" 和一阶语言 "L"，后者由一组常量符号、函数符号和关系符号构成。"L" 的布尔值模型因此就由全集 "M"，它是元素(或名字)的集合