论文部分内容阅读
引入了相似剩余格的概念,讨论了剩余格上相似算子和等价算子的关系,并得到了真值剩余格和相似剩余格相互转化的方法.其次,研究了相似剩余格上的相似滤子,利用相似滤子刻画了可表示的相似剩余格.最后,引入了相似剩余格对应的逻辑系统,证明了其完备性定理,并得到了其成为半线性逻辑的条件.
相似剩余格及其对应逻辑系统的完备性
【摘 要】
：
引入了相似剩余格的概念,讨论了剩余格上相似算子和等价算子的关系,并得到了真值剩余格和相似剩余格相互转化的方法.其次,研究了相似剩余格上的相似滤子,利用相似滤子刻画了
【机 构】
：
西安石油大学理学院
【出 处】
：
高校应用数学学报:A辑
【发表日期】
：
2021年1期
【基金项目】
：
国家自然科学基金(12001423,61976244,11961016),陕西省自然科学基础研究计划(2020JQ-762),陕西省教育厅自然科学研究专项计划(20JK0626)
其他文献
管理会计推广应用对我国经济社会发展的重要意义,也是会计行业转型的主要方向。但目前我国管理会计框架体系不够完善、管理会计在企业的应用比较粗浅、管理会计人才培养滞后
研究了抽象空间中缓增分数阶微分方程解的吸引性.建立了Cauchy问题存在全局吸引解的充分条件.揭示了缓增分数阶导数求解分数微分方程解的特征.
考虑了一类具有空间异质和反应扩散的SVIR传染病模型.当基本再生数等于1时,假定扩散系数为常数,证明了系统的无病平衡态是全局渐近稳定的.
高管-员工薪酬差距是当前社会关注的焦点,对投融资行为有着重要的影响。文章以2010—2018年我国A股上市公司为样本实证检验了高管-员工薪酬差距对企业“短贷长投”的影响。研