论文部分内容阅读
研究了BL^＊系统和BR0-代数．首先在BL^＊系统的基础上添加了一元逻辑连接词△，得到BL^＊系统的一种模式扩张BL△^＊系统，随后提出了△BR0-代数的概念，其次研究了△BR0-代数中的△-滤子及其性质，最后证明了BL△^＊系统的完备性，给出了BL△^＊系统的广义演绎定理．
BL△^＊系统的完备性
【摘 要】
：
研究了BL^＊系统和BR0-代数．首先在BL^＊系统的基础上添加了一元逻辑连接词△，得到BL^＊系统的一种模式扩张BL△^＊系统，随后提出了△BR0-代数的概念，其次研究了△BR0-代数中的△-滤子及
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
吉首大学学报：自然科学版
【发表日期】
：
2009年6期
【基金项目】
：
国家自然科学基金资助项目（10871121）
其他文献
在理想实验室环境下,设计了一种独立的接地电阻测量和控制系统模型,分析了接地电阻测量和控制系统可以实现接地电阻测量,并自动控制调节接地极附近土壤湿度,以实现接地电阻值
根据GB 50057—2010《建筑物防雷设计规范》相关条款,分析当屋面金属设备和金属管道因接闪装置保护不全时,可能引入雷击至室内而造成危害,简单估算了雷击过电压的水平,并提出
对于正整数n,设S（n）是Smarandache函数,f（n）＝∑d｜n S（d）.对于正整数k,若n适合f（n）＝kn,则称n是一个k重S-完全数.证明了：当k＞2时,不存在k重S-完全数.
阐明了v阶Steiner三连系构造的基本思路,给出了完全图Kv的边矩阵的定义,提出了2t＋1阶Steiner三连系构造的一种方法.介绍了依据已存15阶Steiner三连系ST（15）构造31阶Steiner三连