布尔值模型的英文

boolean-valued model

• 值:    price; value
• 模型:    model; pattern
• 布尔值:    boolean comparison ...

例句与用法

1. On a boolean - valued model of the deontic logical d - system
   系统的一种布尔值模型
2. On a boolean - valued model of the deontic logical systems
   关于道义逻辑系统的一种布尔值模型
3. Recursively saturated model
   布尔值模型

百科释义

在数理逻辑中，布尔值模型是普通的塔斯基主义者的结构或模型概念的推广，在其中命题的真值不被限定为"真"和"假"，而是从某个固定的完全布尔代数中取值，布尔值模型是 Dana Scott、Robert M. Solovay 和 Petr Vopěnka 在1960年代为了帮助理解 Paul Cohen 的力迫方法而介入的。