论文部分内容阅读
讨论积逻辑系统中的广义重言式理论,给出积逻辑系统中子代数和广义重言式的一系列性质.本文的主要结果表明,在几个重要的逻辑系统中,标准积逻辑系统具有最简单的广义重言式结构,而在推理过程中,它具有较差的真值传递性.
积逻辑系统中的广义重言式
【摘 要】
：
讨论积逻辑系统中的广义重言式理论,给出积逻辑系统中子代数和广义重言式的一系列性质.本文的主要结果表明,在几个重要的逻辑系统中,标准积逻辑系统具有最简单的广义重言式结
【机 构】
：
西安交通大学理学院,盐城师范学院数学系
【出 处】
：
模糊系统与数学
【发表日期】
：
2002年4期
其他文献
定义了模糊随机变量值凸函数概念，讨论了它的基本性质。此外，给出了判定模糊随机变量值函数凸性的充分必要条件。
阐明英语翻译的基本准则和国际关糸原著的特点，分析国际关系翻译国内化过程中出现的诸多制约因素，可以拓展人们学习和研究国际关系的视野;借鉴吸收其积极的理论养料和研究方法，
分别在形式背景和模糊形式背景下定义类下近似算子和类模糊下近似算子，并研究它们的性质。证明这两种算子分别等价于形式背景和模糊形式背景下的＊算子和模糊＊算子。进一步给出类
阐述了结构可靠度的基本概念，介绍了基于可靠度的桥梁结构优化设计的一般方法，提出了结构可靠度分析与计算的一般思路，指明了基于可靠度的桥梁结构优化设计基本思想以及发展方向
指出在北方寒冷地区,混凝土的抗冻性能直接影响着工程质量和耐久性,结合河北省华电沽源大脑包风电场工程,对C30 F150抗冻混凝土在风机基础的实际应用过程进行了阐述,达到了控
麦尔斯·亨顿是《王子与贫儿》中的一个重要配角。他有着典型的骑士精神和绅士品格。他在全书中的重要地位表现在以下两点：他是主题的反映，是全书故事的转折点。
摘要：文章运用经济计量和案例研究的分析工具，分别从宏、微观两个角度实证研究了我国期货市场对当前国民经济增长的真实作用。从而初步改变国内这方面研究的不足之处，为我国期货市场长期稳定发展提供了较扎实的理论支撑。 关键词：期货市场；国民经济；价格发现；风险转移 期货市场是进行期货合约买卖的市场，这种买卖是由转移价格波动风险的厂商和承受价格获利的风险投资者参加的，在交易所内依法公平竞争而进行的．并且有
阐述了巴塞罗那为筹办奥运会所进行的介入式的城市革新计划给予这个城市一个全新的面貌，对这一成功的城市革新案例进行了分析解读，对高速城市化背景下的中国城市革新规划具有一