| 四值非线性格值逻辑中公式的概率真度 |
| |
| 引用本文： | 左卫兵.四值非线性格值逻辑中公式的概率真度[J].四川师范大学学报(自然科学版),2012(1):63-67. |
| |
| 作者姓名： | 左卫兵 |
| |
| 作者单位： | 华北水利水电学院数学与信息科学学院 |
| |
| 基金项目： | 河南省自然科学基金(112300410040);河南省教育厅自然科学基金(2011A110012);河南省高等学校青年骨干教师资助计划(2011GGJS-097)资助项目 |
| |
| 摘 要： | 王国俊在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论.但其研究的多值命题逻辑是线性赋值格结构且真度是赋值均匀的.在四值非线性格值逻辑系统上通过势为4的概率测度空间上的无穷乘积测度定义了公式的概率真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑上和非均匀概率空间上有一定的可行性.
|
| 关 键 词： | 非线性格 命题逻辑 概率真度 伪距离 逻辑度量空间 |
Probability Truth Degree of Formula in 4-Valued Nonlinear Lattice Logic |
| |
| ZUO Wei-bing.Probability Truth Degree of Formula in 4-Valued Nonlinear Lattice Logic[J].Journal of Sichuan Normal University(Natural Science),2012(1):63-67. |
| |
| Authors: | ZUO Wei-bing |
| |
| Institution: | ZUO Wei-bing(Department of Mathematics and Information Science,North China Institute of Water Conservancy and Hydroelectric Power,Zhengzhou 450011,Henan) |
| |
| Abstract: | Truth degree of formula and the theory of quantified logic in the n-valued logic system is built by Wang Guo-jun,however,which study is based on linear assignment lattice frame and the truth degree is evenly distributed.Probability truth degree of formula is defined by infinite product measure on the probability measure space with number of 4 in the 4-valued system associated with nonlinear lattice logic and some parallel relevant results are obtained.It is illustated that quantified logic is feasible in the nonlinear lattice logic and probability space. |
| |
| Keywords: | nonlinear lattice proposition logic probability truth degree pseudo-metric logic metric space |
| 本文献已被 CNKI 等数据库收录！ |
