切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Syntactic Extension of Lattice-valued Propositional Logic LP(X)
Syntactic Extension of Lattice-valued Propositional Logic LP(X)
来源 :数学季刊:英文版 | 被引量 : 0次 | 上传用户:kevin7878
【摘 要】
:
我们交上珍视格子的命题逻辑 LP (X) 的语义延期[6 ] 。在这份报纸,我们调查它 LP (X) 的相应语法延期并且给在这二延期之间的关系。
【作 者】
:
ZHENG Feng-bin
LI Qing-yu
WANG
【机 构】
:
CollegeofComputerandInformationEngineering,CollegeofSciences,DepartmentofMathematics,IntelligentCont
【出 处】
:
数学季刊:英文版
【发表日期】
:
2006年2期
【关键词】
:
晶格估计逻辑
晶格牵连代数学
(α
β)推理
(α
β)定理
外形证明
lattice-valued logic
lattice implication a
【基金项目】
:
Foundation item: Supported by the National Natural Science Foundation of China(60474022)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
我们交上珍视格子的命题逻辑 LP (X) 的语义延期[6 ] 。在这份报纸,我们调查它 LP (X) 的相应语法延期并且给在这二延期之间的关系。
其他文献
提供财力保障 提高支农水平——发挥税收支持新农村建设的职能作用
建设社会主义新农村,是我们党在深刻分析当前国际国内形势、全面把握我国经济社会发展阶段性特征的基础上,从党和国家事业发展全局出发作出的重大战略决策。税务部门要从全面建
期刊
新农村建设
职能作用
税收支持
中国特色社会主义事业
财力保障
建设社会主义新农村
全面建设小康社会
支农
大肠癌肝转移的术中射频治疗
目的:探讨开腹术中射频联合瘤内无水酒精注射治疗大肠癌肝转移的有效性与安全性。方法:前瞻性研究26例开腹术中射频联合瘤内无水酒精注射治疗大肠癌肝转移的临床资料。结果:2
期刊
大肠癌
肝转移
术中
射频治疗
无水酒精
腹腔手术
Open surgery
Metastatic hepatic cancer
Treatment
Radio
On Inverse Limits of Normal δθ-refinable Spaces
This paper proves the following results: Let X = lim← { Xσ,π^σρ,∧ },| ∧ | =λ, and every pro-jection πσ : X → Xσ be an open and onto mapping. (A) If X
期刊
逆极限
正规δθ-可加空间
射影
Λ-仿紧
Hausdorff拓扑空间
inverse limit
λ-paracompact
normal and δθ
乳腺癌患者手术前后的心理护理
乳腺癌是妇女常见的恶性肿瘤之一,发病率高,多发生在40~54岁患者,早期不易发现,严重威胁着患者的身心健康.本人通过对16例乳腺癌手术患者的心理护理,摸索出一些肤浅的体会,现
期刊
乳腺癌
患者
心理护理
手术前后
常见
多发
严重
身心健康
发现
体会
使用静脉留置针所致9例静脉炎的分析及护理
静脉留置针的广泛应用,减少了反复静脉穿刺给病人所带来的痛苦.对于内科需要长期输液而静脉穿刺比较困难的病人,使用静脉留置针既能保护病人的血管免受破坏,又能减轻因静脉穿
期刊
静脉留置针
静脉穿刺
影响因素
护理
静脉炎
中师校园文化建设的思考与实践
中师校园文化建设的思考与实践海南州民族师范学校校长洛赛才让《中国教育改革和发展纲要》指出:“要建设健康生动的校园文化,树立良好的校风、学风,使学校成为建设社会主义精神
期刊
校园文化建设
思考与实践
教育环境
养成教育
中等师范学校
环境教育
民族文化
中师生
师范性
教书育人
挖虫草
期刊
露出地面
明闪闪
中药材
映山红
容易的事
贵德县
老黄
淡黄色
长时间
夏草
多项式函数奇偶性定理的证明和应用
期刊
多项式函数
奇偶性
定理的证明
偶函数
奇函数
最小值
二次函数
必要性
充要条
充分性
Stable Solution of Nonlinear Age-structuredForest Evolution System
This paper studies the dynamical behavior of a class of total area dependent nonlinear age-structured forest evolution model. We give the problem of equal value
期刊
非线性偏微分方程
年龄结构
稳定性
树型
nonlinear
age-structured
forest model
stable solution
Exponential Stability of Weak Solutions to Linear Thermoviscoelastic Systems
这篇论文与夹钳的边界条件涉及一个线性一个维的 thermoviscoelastic 系统的弱答案的指数的稳定性。这个系统定义 C0-semigroup { S (t)} 空格 L2 (0,1 ) 上的 t0 吗??
期刊
指数稳定性
弱解
热黏弹性系统
边界条件
Exponential stability
weak solutions
thermoviscoelastic s
与本文相关的学术论文