On a boolean - valued model of the deontic logical d - system 系統的一種布爾值模型
On a boolean - valued model of the deontic logical systems 關于道義邏輯系統的一種布爾值模型
百科解釋
In mathematical logic, a Boolean-valued model is a generalization of the ordinary Tarskian notion of structure from model theory. In a Boolean-valued model, the truth values of propositions are not limited to "true" and "false", but instead take values in some fixed complete Boolean algebra.