论文部分内容阅读
通过在B L命题逻辑系统的公式集F（ S） 中提出演绎系统的概念,并引入强同余关系,讨论B L系统中演绎系统和强同余关系之间的联系,给出二者之间相互转换的方法,并得到了二者之间相互转换的还原性.
BL命题逻辑系统的强同余关系及演绎系统
【摘 要】
：
通过在B L命题逻辑系统的公式集F（ S） 中提出演绎系统的概念,并引入强同余关系,讨论B L系统中演绎系统和强同余关系之间的联系,给出二者之间相互转换的方法,并得到了二者之间相
【机 构】
：
陕西师范大学数学与信息科学学院,汉中职业技术学院
【出 处】
：
吉林大学学报：理学版
【发表日期】
：
2018年2期
【基金项目】
：
国家自然科学基金（批准号：61572016,11531009,61673250）.
其他文献
通过定义Hom-Novikov超代数和Hom-Novikov-Poisson超代数,利用Hom-结合超代数和偶的线性超代数同态映射给出了Hom-Novikov超代数和Hom-Novikov-Poisson超代数的构造方法.
通过引入一类目标函数和约束条件均带有不确定信息的优化问题,借助鲁棒型次微分约束品性,刻画了该不确定优化问题与其不确定对偶问题之间的Mond-Weir型鲁棒对偶性,即原问题的
日本方头甲(Cybocephalus nipponicus)是盾蚧科害虫的重要天敌。福建沙县一年4-5代，世代重叠。以成虫越冬，平均温度24．8℃，一世代历期47．2天；27．7℃，为32．6天。捕食盾蚧科害虫9种，并具
利用一个新的对称山路引理研究一类具有临界非线性项的p-双调和方程,得到了该问题无穷多个非平凡解的存在性,并证明了这些解序列趋近于零.
添加萤光素钠、656L乳化剂等的EpNPV制剂．其四号和五号配方对茶毛虫的LC70分别为4．42×10^5PIB／ml和1．75×10^6PIB／ml．与同浓度病毒悬液比．毒力系数(1)分别为4．39和1．11；用五号
水稻粘虫混合种群幼虫空间分布型测定结果表明：(1)频次分布检验为负二项分布；（2)聚集度指标测定为聚集分布；(3)m^*-m的钱性回归方程为m^*=0．8870+1．1058m，属于最普通的聚集分布。在
观察结果表明，茶小卷蛾性行为反应与成虫的虫龄关系甚为密切；当天羽化的雌雄蛾已具有一定程度的交尾能力。如和交尾能力更强的1，2天虫龄的异性配对时，性行为反应的比率达到实验最
硅元素是非金属元素的命题热点之一，该类试题常以硅元素及其化合物知识为载体与化学基本概念、基本理论、化学计算及化学实验密切结合．从高考命题的变化趋势看，常与前沿科技成果
稻水象甲作为水稻生产上的一种毁灭性害虫．近年来已先后侵入许多国家和地区，特别是与福建省一水之隔的台湾等地已严重发生为害。为了摸清该虫是否在福建南部发生，我们自1993年起
利用方程解的先验界及微分不等式技巧,证明大尺度海洋大气动力学三维黏性原始方程的解连续依赖于边界参数.