切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
二值命题逻辑中公式列的收敛性
二值命题逻辑中公式列的收敛性
来源 :兰州理工大学学报 | 被引量 : 0次 | 上传用户:czw6229835
【摘 要】
:
在二值命题逻辑系统中给出公式列按真度收敛的定义,研究公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明
【作 者】
:
李骏
蒙頔
【机 构】
:
兰州理工大学理学院
【出 处】
:
兰州理工大学学报
【发表日期】
:
2016年4期
【关键词】
:
逻辑度量空间
度量收敛
赋值收敛
真度收敛
logic metric space
convergence in terms of measurement
c
【基金项目】
:
国家自然科学基金(11261032)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在二值命题逻辑系统中给出公式列按真度收敛的定义,研究公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的.
其他文献
美感在影视艺术中的呈现
艺术是一个民族的美学纪念碑。影视艺术也是如此。影视艺术不仅是科技的产物。也同样属于艺术。在艺术表现、艺术风格和审美价值取向等方面。影视艺术都形成了自己的特点,在审美能力的培养、审美境界的提高等方面也发挥着积极的作用。
期刊
美感
影视艺术
美学思想
审美情感
思想感情
观众
现代艺术观赏者的危机
20世纪60、70年代,现象学和符号学几乎不约而同地得出一个结论:在文学艺术的欣赏过程中,“作者”已经“死”了。对现象学文艺理论家来说,艺术作品只有到了阅读和欣赏阶段,才算正式
期刊
现代艺术
艺术观赏者
现象学
艺术理论
美学思想
H∞ Filter Design for Discrete-time Systems with Missing Measurements
<正>For packet-based transmission of data over a network, or temporary sensor failure, etc., data samples may be missing in the measured signals. This paper dea
期刊
数据丢失
离散系统
滤波器
线性矩阵不等式
Missing data
discrete-time system
H∞ filter
LMI
经济全球化给发展中国金融业的警示
期刊
经济全球化
发展中国家
金融业
金融危机
资本流动
金融机制
资本市场
让老主板发挥最后的余热
期刊
主板
芯片组
BIOS
优化设置
CPU
测试软件
“CEO笔记本”——长城T2000
期刊
长城公司
T2000
笔记本电脑
性能
空间机械臂的鲁棒复合自适应控制
对于本体姿态受控而位置不受控的空间机械臂系统,考虑存在参数不确定性及非参数不确定性,首先建立了系统的估计模型,并且提出了一种鲁棒复合自适应控制方法,其参数适应律由估
期刊
空间机械臂
鲁棒复合自适应控制
空间机器人
动力学结构
Adaptive control systems
Algorithms
Computer simulat
开放式整合技术的先锋——ECS P4S8AG“游戏悍将”主板试用
期刊
开放式整合技术
性能测试
ECS
P4S8AG
主板
创意产业与国际艺术授权
20世纪90年代以来,以信息技术为主导、以网络为基础、以全球化为支撑的新的知识型经济形态的演进,科技与文化的融合使文化产业的竞争力和精神控制力在综合国力和城市竞争中地位
期刊
创意产业
国际艺术授权
制度保障
文化产业
Adaptive State-feedback Stabilization for More General High-order Stochastic Nonlinear Systems
适应州反馈的稳定为在的高顺序的随机的非线性的系统的一个类被调查函数 fi 的上面的界限(?? 铄吗??
期刊
非线性系统
自动化系统
反馈系统
稳定性
High-order stochastic nonlinear systems
adaptive state-fee
与本文相关的学术论文