论文部分内容阅读
研究了五个重要的多值逻辑系统Ｌｎ，Ｋｎ，Ｓｎ，Ｇｎ和Ｗｎ，讨论了这些系统子代数的特征及计数问题，以及这些系统的广义重言式理论，给出了这些系统子代数的特征性质与计数公式，证明了Ｌｎ，Ｓｎ，Ｇｎ中可达α－重言式类类不空，并探明了它们与经典逻辑系统重言式的关系。
多值逻辑系统中的子代数与广义重言式
【摘 要】
：
研究了五个重要的多值逻辑系统Ｌｎ，Ｋｎ，Ｓｎ，Ｇｎ和Ｗｎ，讨论了这些系统子代数的特征及计数问题，以及这些系统的广义重言式理论，给出了这些系统子代数的特征性质与计数公式，证明了Ｌｎ，Ｓｎ，Ｇｎ中可达α－重言式类类不
【机 构】
：
陕西师范大学数学研究所
【出 处】
：
陕西师大学报：自然科学版
【发表日期】
：
2000年2期
其他文献
研究了超空间中的Ｐ－点和弱Ｐ－点。在Ｈａｕｓｄｏｒｆｆ拓扑空间中，如果点ｘ是包含它的任一Ｇδ集的内点，则ｘ称为Ｐ－点，如果点ｘ不是任意可数集的聚点，则ｘ称为弱Ｐ－点。证明了正则空间中Ｐ－点与弱Ｐ－点等价当且仅当其超空间中
选取2002--2004年截面数据。以人均废水、人均废气、万元产值废水、万元产值废气排放量为指标，分析了中国省级区域环境与发展的关系．统计模型显示，随着人均国内生产总值（Gross Do
“民以食为天”，这是众人皆知的真理。再深究一步：谁应当为民众撑起这片天昵？1948年，联合国《世界人权宣言》的发布，正式确立公民健康权的基本人权地位。《世界人权宣言》第25条确
10月15日至侣日，华东、东北十省市第十六次人大研究工作座谈会在上海召开。与会同志就各省市人大本届五年总结工作等进行深入交流。加强省级地方人大之间研究工作的经常性交流
建筑形态的创作需要对现实存在的自然形态进行有益的借鉴和提取。本文通过对一些建筑作品的形态上体现出来的仿生特征进行简要地分析介绍，指出建筑形态的仿生创作是当代建筑创
目的观察和探究孟鲁司特钠联合噻托溴铵粉吸剂治疗稳定期慢性阻塞性肺疾病的疗效。方法选择我院自2010年1月至2016年12月收治的74例稳定期慢性阻塞性肺疾病患者作为研究对象,
为提高标准文献服务的整体水平，我们对国内标准文献服务领域的若干现状问题进行了分析，研究了标准文献服务的发展方向，提出了一些创新性的解决对策，以期对开展标准化工作有所借鉴
近日，盘锦市质量技术监督局稽查局集中执法力量，开展对消防、防火产品的专项执法检查，确保“十二运”期间的社会公共安全。此次专项执法检查主要针对灭火器材、火灾报警器、消防
目的探究微小切口进路坚固内固定对口腔颌面部骨折的应用效果。方法选取我院2015年10月至2017年12月间收治的50例口腔颌面部骨折患者作为本次实验的研究对象,随机抽取进行分