切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
时态命题演算T1的树枝图及其应用
时态命题演算T1的树枝图及其应用
来源 :武汉交通科技大学学报 | 被引量 : 0次 | 上传用户:sxsj002
【摘 要】
:
将命题演算语义树理论扩充到非标准逻辑,建立了时态命题演算T1的树枝图,并证明这种枝图从语义上能判别T1的有效式,T1的无效式,从语法上能判别T1系统的定理,非定理的其它公式。
【作 者】
:
高士忠
【机 构】
:
武汉交通科技大学社会科学系
【出 处】
:
武汉交通科技大学学报
【发表日期】
:
1994年3期
【关键词】
:
模态逻辑
模型论
判定问题
modal logic
model theory
judging question
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
将命题演算语义树理论扩充到非标准逻辑,建立了时态命题演算T1的树枝图,并证明这种枝图从语义上能判别T1的有效式,T1的无效式,从语法上能判别T1系统的定理,非定理的其它公式。
其他文献
采动煤岩体瓦斯渗透率分布规律与演化过程
基于潘一矿煤田地质背景,以保护层开采为代表,开展相似模拟试验,通过Matlab软件实时捕获标记点位置并通过像素点演算其坐标,得到采场体积应变分布,可有效地反映采场膨胀一压缩变形
期刊
渗透率
保护层
相似模拟
体积膨胀
permeability
protective coal seam
physical simulation
vo
杜甫之死
“90后”被称为伴随着互联网成长起来的一代人,作为“90后”的你对网络一定不会陌生。有人说,网络是藏污纳垢之所;有人说,网络是鱼龙混杂之地。其实,网络并非洪水猛兽,很多网络写手
期刊
网络写手
“90后”
杜甫
互联网
500mpa级钢筋混凝土梁变形的试验分析
通过7根500级钢筋混凝土简支梁的试验,观测了试件的破坏形态及变形特点,对试验结果进行了讨论与分析,研究这种结构的变形特点.试验研究结果表明,500级钢筋混凝土简支梁具有足
期刊
500钢筋
简支梁
变形
应用相位移激光全息干涉测定热应变
本文应用相位移激光全息干涉法研究板状结构的热应变。选矩形平板作为试件,平板两边缘被约束,另两边缘成自由状态,通过相位移激光全息干涉图来测量热应变,在全息干涉图上将显示出鞍形效应。从测示结果来看,相位移激光全息干涉图得到的热应变与用应变片法测量的结果基本吻合。
期刊
相位角
激光
全息干涉法
载荷
phase shifting
laser holography interference
load
anticlastic e
有为且无过 铸完美人生——“红花白花都是花”材料作文导写
阅读下面的材料,根据要求写一篇不少于800字的文章。(60分)一个老者和一个少年驻足在花坛边。少年说:“哇,红色的花多漂亮!”老者说:“白色的花更值得欣赏。”“红色的花鲜艳绚丽,就
期刊
材料作文
人生
有为
导写
红花
少年
文章
“最美中学生”车祸瞬间推开同学
2012年11月,一个有关“最美中学生”的故事在网络上被热传:山东省枣庄市枣庄二中高三学生龚钰辑,在车祸来临的瞬间,一把推开同学,自己却被压在车轮下,致使右腿高位截肢。这个酷爱篮
期刊
中学生
同学
瞬间
车祸
高三学生
枣庄市
篮球场
山东省
亲吻黄土
我梦想.可以在冬季的早晨.推开门走出低矮的房屋就看到真实的黄土高原,不加粉饰雕琢,带着未融尽的余雪,雄浑的黄土色漫延到旷远的蓝天下。
期刊
高中生
作文
语文学习
阅读知识
湖北省煤炭事故的关联分析
煤炭事故的发生其原因是十分复杂的,而传统的统计分析方法又存在着众多的缺陷,本文利用灰色系统理论的关联度分析法,对湖北省十多年来的煤炭事故进行了定量分析,找出了事故发
期刊
煤炭
事故
关联度分析
灰色系统
coal accident
grey system
relative degree analysis
起重机卷扬机构设计及绘图的微机CAD系统
本文介绍了起重机卷扬机构计算机辅助设计系统。该系统利用数据库存储和管理计算及绘图的数据,并使用分级消隐技术,完成各种形式的装配图及零部件图的绘制,实现了从设计计算到绘图的一体化功能。同时由于系统具备了统一的数据库及模块化的结构,使它有较强的适应性及扩充性。
期刊
起重机
卷扬机构
设计
微机
CAD
computer aided design
crane
hoisting mechanism
画板上的人生
社会是一个光怪陆离的颜料箱。在人生开始的那一天,颜料箱就倾覆在地板上,倒出了形形色色的颜料.颜色绚丽,璨然生辉。一块纯A的画板静静地躺在那儿,不管你愿不愿意,都只能执好画笔,
期刊
人生
颜料
社会
与本文相关的学术论文