四值非全序逻辑系统中公式的条件随机真度
The Conditional Randomized Truth Degree of Formulas in R_0-Type 4-valued Non-totally Ordered Propositional Logic作者机构:华北水利水电学院数学与信息科学学院河南郑州450045
出 版 物:《四川师范大学学报(自然科学版)》 (Journal of Sichuan Normal University(Natural Science))
年 卷 期:2012年第35卷第6期
页 面:791-795页
学科分类:01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学]
基 金:河南省自然科学基金(112300410040) 河南省教育厅自然科学基金(2011A110012) 河南省高等学校青年骨干教师资助计划基金(2011GGJS-097)资助项目
主 题:非全序逻辑系统 条件随机真度 条件随机相似度 条件随机逻辑度量空间 近似推理
摘 要:基于条件概率的思想,利用赋值集的随机化方法,在四值非全序逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则.引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论.