| 有限Boole语义的随机化 |
| |
| 引用本文： | 左卫兵,叶晓枫.有限Boole语义的随机化[J].兰州理工大学学报,2012,38(1):143-148. |
| |
| 作者姓名： | 左卫兵 叶晓枫 |
| |
| 作者单位： | 华北水利水电学院数学与信息科学学院,河南郑州,450045 |
| |
| 基金项目： | 河南省自然科学基金，河南省教育厅自然科学基金，河南省高等学校青年骨干教师资助计划 |
| |
| 摘 要： | 基于B-赋值理论,利用赋值集的随机化方法,在以有限Boole代数为赋值格的命题逻辑中提出公式的B-随机真度,建立有限Boole语义中的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在有限Boole语义理论上的推广.
|
| 关 键 词： | 有限Boole代数 B-赋值 B-随机真度 B-随机相似度 逻辑度量空间 |
Randomization of finite Boolean semantics |
| |
| ZUO Wei-bing
,
YE Xiao-feng.Randomization of finite Boolean semantics[J].Journal of Lanzhou University of Technology,2012,38(1):143-148. |
| |
| Authors: | ZUO Wei-bing YE Xiao-feng |
| |
| Institution: | (Department of Mathematics and Information Science,North China Institute of Water Conservancy and Hydroelectric Power,Zhengzhou,450045 China) |
| |
| Abstract: | Based on B-valuation theory and by means of randomization of valuation set,the concept of B-randomized truth degree of formulas in a proposition logic with finite Boolean algebra as its valuation case was presented and a randomized logic metric space was set up in the finite Boolean semantics.It was the generalization of the correlative theory of the metric logic and randomized truth degree in finite Boolean semantics. |
| |
| Keywords: | finite Boolean algebra B-valuation B-randomized truth degree B-randomized similarity degree logic metric space |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
