布爾值模型

在數理邏輯中 ， 布爾值模型是普通的塔斯基主義者的結構或模型概念的推廣 ， 在其中命題的真值不被限定爲 " 真 " 和 " 假 " ， 而是從某個固定的完全布爾代數中取值 ， 布爾值模型是 Dana Scott 、 Robert M. Solovay 和 Petr Vopěnka 在1960年代爲了幫助理解 Paul Cohen 的力迫方法而介入的 。