论文部分内容阅读
引入了相似剩余格的概念,讨论了剩余格上相似算子和等价算子的关系,并得到了真值剩余格和相似剩余格相互转化的方法.其次,研究了相似剩余格上的相似滤子,利用相似滤子刻画了可表示的相似剩余格.最后,引入了相似剩余格对应的逻辑系统,证明了其完备性定理,并得到了其成为半线性逻辑的条件.
相似剩余格及其对应逻辑系统的完备性
【摘 要】
：
引入了相似剩余格的概念,讨论了剩余格上相似算子和等价算子的关系,并得到了真值剩余格和相似剩余格相互转化的方法.其次,研究了相似剩余格上的相似滤子,利用相似滤子刻画了
【机 构】
：
西安石油大学理学院
【出 处】
：
高校应用数学学报:A辑
【发表日期】
：
2021年1期
【基金项目】
：
国家自然科学基金(12001423,61976244,11961016),陕西省自然科学基础研究计划(2020JQ-762),陕西省教育厅自然科学研究专项计划(20JK0626)
其他文献
管理会计推广应用对我国经济社会发展的重要意义,也是会计行业转型的主要方向。但目前我国管理会计框架体系不够完善、管理会计在企业的应用比较粗浅、管理会计人才培养滞后
研究了抽象空间中缓增分数阶微分方程解的吸引性.建立了Cauchy问题存在全局吸引解的充分条件.揭示了缓增分数阶导数求解分数微分方程解的特征.
目的:探讨健康生活方式宣教在高血压高危人群体检护理中的应用。方法:从2019 年10 月至2020 年9 月,在我院进行体检的高血压高危人群中选取92 例,按照就诊号随机选择46 例作
考虑了一类具有空间异质和反应扩散的SVIR传染病模型.当基本再生数等于1时,假定扩散系数为常数,证明了系统的无病平衡态是全局渐近稳定的.
首先定义了R^(n)上一类高阶奇异T算子,然后将该算子分为两部分分别讨论得到了该算子在R^(n)上的Holder连续性,最后给出了这个算子的广义导数并通过导数和正则函数的性质给出
高管-员工薪酬差距是当前社会关注的焦点,对投融资行为有着重要的影响。文章以2010—2018年我国A股上市公司为样本实证检验了高管-员工薪酬差距对企业“短贷长投”的影响。研
伴随着人类社会的飞速发展,国民经济水平的提高和社会生产力水平的稳定提高,国民的生活水平和生活需要逐渐成为了国家关注的重点,我国的各项福利制度以及服务类建设也在随着
目的:围绕颅后窝脑膜瘤,观察显微外科手术治疗效果。方法:资料收集时间范围在2019 年6 月到2020 年8 月内,共统计颅后窝脑膜瘤患者32 例,完成资料收集,并对其实行显微外科手