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