【摘 要】
：
本文所討論的模态謂詞演算系指基于一定的古典模态系統之上的謂詞演算。所謂古典模态系統是指建立在古典命題演算之上的任意模态命題演算,如Lewis的S1—S5,但远不限于这些（参
论文部分内容阅读
本文所討論的模态謂詞演算系指基于一定的古典模态系統之上的謂詞演算。所謂古典模态系統是指建立在古典命題演算之上的任意模态命題演算,如Lewis的S1—S5,但远不限于这些（参看Lemmon[8],[9]）。在現代文献上討論得比較多的模态謂詞演算有[12]中的Sλ*（基于S4）,[6]中的S5*（基于S5）和[3]中的Sε*（基于S5.十分明显S5*和Sε*是等价的）。一般說来,任給了一个古典模态系統,我們总可以依照[12]中由S4构作Sλ*那样作出一个模态謂詞演算。以下我們以（?）表示任意古典模态系統,以（
其他文献
辽东一吉南沉积变质再造硼矿床成矿物质来源于古火山活动。沉积于早元古代箕状断陷盆地沉降中心。其中有3个含硼沉积旋回,上部旋回含矿性最好。含硼镁质碳酸盐岩矿源层,在吕
党的十六届六中全会以构建社会主义和谐社会的“和谐理念”为主线，通过了《关于构建社会主义和谐社会若干重大问题的决定》，具体勾画了和谐社会建设的宏伟蓝图。
利用微型计算机对七名健康人和一名帕金森氏综合症病人的睡眠脑电图的能量一频率分布曲线进行分析,发现帕金森症患者的睡眠各期能量与正常组相比有较大的差异.由此,我们提出
华北地台北缘中晚元古代地壳运动分为燕辽旋回（１８～８．５亿ａ）、满家滩旋回（８．５～６亿ａ）。燕辽旋回为本区中、晚元古代坳拉谷发生发展消亡阶段，即地台第一盖层沉积地槽中晚元古代洋壳形成阶段。此阶段
内源盆地泛指非陆源沉积盆地。其最终沉积方式和展布格局受物理、物理化学、生物化学、生物物理等多种动力场的制约；沉积作用场包括各种直观性和背景性的动力学过程，这种过程由
设整数ａ，ｂ１，ｂ２满足ａ〉１，（ａ，ｂ１）＝（ａ，ｂ２）＝１，证明了几乎所有适合条件ｍ＝ｂ１＋ｂ２（ｍｏｄａ）的偶数ｍ可以表示为ｐ１＋Ｐ２的形式，其中ｐｉ为素数，并且ｐｉ≡ｂｉ（ｍｏｄａ），ｉ＝１，２。
用微孔滤膜法分别检测淋巴细胞条件培养液（ＬＣＭ）和γ－ＩＦＮ对培养的人主动脉平滑肌细胞（ＳＭＣ）的趋化活性。结果表明，ＬＣＭ对ＳＭＣ有明显的趋化活性和较弱的化学促动作用；γ－ＩＦＮ对ＳＭＣ有明显的趋化作用和化学促动作用
热防护层表面有烧蚀的发汗冷却控制是一个活动边界域上分布参数的非线性控制系统。在一维问题中,当冷却剂渗流是不可压缩的情形时,本文将热层发汗冷却控制的定解问题表述为第
<正> 矿床构造是划分矿床勘探类型和选择勘探网度的主要因素之一。但包括构造因素在内所确定的矿床勘探类型和网度,对具体构造的查明和研究程度要求未能全部涉及,因而在实际
华北地台北缘狼山成矿带多金属硫铁矿床主要产出在中元古界一套含碳细碎屑岩-碳酸盐岩建造内。矿床具有明显的时控、层控和岩性控制特征。矿层的产出受陆缘裂陷槽内的次级断