1) Boolean
[英]['bu:liən] [美]['bulɪən]
布尔型;布尔值
2) Boolean valued model
布尔值模型
1.
The paper proves that the Boolean value of the modal propositional system P5 are 1, which means VB(B is a complete Boolean algebra)is the Boolean valued model of the modal propositiona system P5.
亦即:VB(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型。
2.
The third, I demonstrated that the Boolean_valued model V B(where B is a complete Boolean algebra)of ZFC axiom system in set theory is, too, a Boolean valued model of the deontic l.
本文为道义模态逻辑D—系统建立布尔值模型 。
3) Boolean value
布尔值
1.
The literature \ proves that under the conditions of the model, when R is any 2-ary relation on V~(B), the Boolean value of the modal formulae 4、E and B can not be decided.
模态公式4、E和B是直观上难以确认是否成立的一类模态公式 文献[6]证明了:在模型〈VB,R,‖‖〉下,当R是VB上的任意一个二元关系时,模态公式4、E和B的布尔值不能确定 本文证明:当R是VB上自返的二元关系时,模态公式4、E和B的布尔值为1 因此,模态系统S4、S5和B是协调
2.
The paper proves that the Boolean value of the modal propositional system P5 are 1, which means VB(B is a complete Boolean algebra)is the Boolean valued model of the modal propositiona system P5.
即:证明了模态系统P5的所有公理的布尔值为1。
3.
Therefore, the first I defined the Boolean value ‖○α‖ of the deontic modal formula ○α(where α is a propositional formula)in the paper;The second, I demonstrated that the Boolean value of all axioms of the deontic logical system D was 1 in the definition.
本文为道义模态逻辑D—系统建立布尔值模型 。
5) Weibull extreme value distribution
威布尔型极值分布
6) boolean model
布尔模型
1.
A Boolean Model for the Hadamard Matrix and the Walsh System;
阿达玛矩阵与沃尔什系统的布尔模型(英文)
2.
Duplicated Web Pages Detection Algorithm Based on Boolean Model;
改进的基于布尔模型的网页查重算法
3.
This paper focuses on the studying of information filtering models,and presents three information filtering models that are the Boolean Model,the Vector Space Model and the Latent Semantic Indexing Model.
该文主要是针对信息过滤模型的研究,介绍了布尔模型、向量空间模型和潜在语义索引三种信息过滤模型。
补充资料:Boole值模型
Boole值模型
Boolean-valued model
B.目e值模型〔致dean一初ued mdel;6yJ砚加3I.a叨翻M。口e月‘] 此模型定义如下:设Q具有单种变元的某个一阶语言的表征,即Q为函数与谓词的符号集.Boole值模型为一三元组M=(B,,踢,O衬,这里B。为非退化肠双e代数(Boolean al罗bra),V、为非空集并且O,为定义在Q上的函数,使得若p为n元函数符号,则 。。(p)。。众若p为n元谓词符号,则 。、(p)二刀冷.符号 Xy表示定义在Y上而取值于X的所有函数的集合,x”=x{‘:’‘”},这里n)o为自然数.Boole代数BM称为模型M的真假值集(set of truth vaines).集合V,称为M的全域(u niverse) .Boole值模型M也称为B模型,若真值集为Boole代数B即BM=B.若Boole代数B为二元代数(即B={o,l}),则此B模型M就是经典两值模型. 令L,为在语言L上添加新个体常元而得:对每个妊呱在L,中具有相应的个体常元v.设M为一B模型且丑=(B;o,l,e,日,自)为完全Boole代数;以下的等式1)一8)定义z、的每个闭表达式e(即_无自由变元的公式或项)的停(v alue)}一川{、· 1)!{v{·、·。这里v任V。- 2)、一p(:,.几),一。,=(0、(P川长,{一、,二,{t。引衬,这甲:l,一,:。为闭项且p为。元函数或谓词符号; 3){{价〕沙,、二一}{训}、口{}妇,。; 4)一中V班}一、=一}甲}{、日,沙娜 5)1势八价{、一川价{IM自川价}币 6)1一}砂、二一毋},、,; 7)·‘日心,(‘乏){{、二(_少:。;,}{切(v)l一、; 8)一丫心甲(衬}。=自。。,、{{价(v)l M. 关系式l)一哟对于某些非完全Boole代数亦可定义值一}?}一娜仅需要7)和8)中的无穷并和无穷交存在.Boole值模型的概念亦可对具多种类型变元的语言弓{人.在这样的情形下每种变元具有自己的变域Fo. 称闭公式甲在B模型中为真的‘true)(M卜初是指{}价州矿二互称B模型M为理论T的模型,是指对于T的所有公理价皆有M卜甲.若h为从Boo卜代数B到Boole代数B’的同态且保持无穷并和无穷交,则存在了模型M‘使对每个LM闭公式毋,!一甲{},二h(川毋:动成立.若模型M的域是可数的,则存在映射到Boole代数{O,1冲的同态h,在其下M被转化成经典两值模型M‘使M卜,一M’片甲.己经证明理论T相容,当且仅当T具有Boolc值模型.这个定理成为Boole值模型理论应用于公理理论相容性的基础. 若理论T的Boole值模型是借助于另一公理理论S而构作的,则可得到T相对于N的相容性.于是P.Cohen的理沦Z卜以2卜>杖,)相对于ZF的相容性的结果由借助于ZF构作Boole值模型而得到(见力迫法(fo川ng meth司)).Cohen力迫关系p{{一甲的构作等价三尹满足 }1叫}、二伊:川卜一叫的Boole值模型的构作
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条