【摘 要】
：
在自然语言中,当然和可行类似于必然和可能表明了两种命题模态。本文对这两类模态(其对应的模态词在形式语言中分别表示为“C”和“F”)进行语义分析。半形式地,当然算子的解
论文部分内容阅读
在自然语言中,当然和可行类似于必然和可能表明了两种命题模态。本文对这两类模态(其对应的模态词在形式语言中分别表示为“C”和“F”)进行语义分析。半形式地,当然算子的解释如下:公式C对主体u真当且仅当存在一个与之有联络的主体v 使得对任何与v有联络的主体w都有公式对主体w真。可行算子是当然算子的对偶。由此,定义相应的有效性概念,给出一正则系统C。同时,我们把当然算子推广为n-当然算子,引进了知性模态范畴。从而把真性模态纳入知性模态中。
其他文献
在广州中国出口商品交易会验证体态语知识郭纯儿引言身势学ｋｉｎｅｓｉｃｓ是对形体动作（如点头、耸肩）和脸部表情（如脸红、目光移动）与人际交流之间的关系进行的系统研究。美国在１９６０年开始研究；欧洲
出河南省濮阳县城南行20多公里，就到西辛庄村。这里，广场宽敞，道路平坦，一座座厂房分布有序，一排排红顶白墙的农民公寓鳞次栉比，千亩生态林凝绿滴翠，环形人工湖垂柳依依…… 流火七月，下午5点的阳光依然炽热，身材瘦小、皮肤黝黑、衣着朴素的西辛庄村党委书记李连成刚接受完采访，就又忙着会见一位外商，晚上还要准备第二天一早向濮阳市领导汇报的材料，紧张忙碌是李连成真实的生活写照。 带领村民挺起脊梁 30
美国总统奥巴马近日签署了一份行政命令，允许企业在进行联邦道路和住宅建设期间铺设宽带线路，使宽带网络建设节省90％的资金。这是白宫改善美国宽带的新举动之一。此外，美国政府还
大学生素质教育的推进，需要学校不同方面工作的共同配合。高校学生工作作为高等学校教育活动的重要方面，在推进大学生素质教育中，具有自身的教育优势，应当发挥积极的作用。通过思
1.西瓜追施植物油。在西瓜长到拳头大小时,用直径为1.5厘米的木棍在离主根2厘米处捣一个12厘米深的小洞,然后滴入3～4滴豆油或菜籽油,接着用土封严,过3～5天后浇一次水,一般可使
结合工作体会，探讨一稿两刊的主要原因，弊病及防止对策。
接入网是整个电信网最具技术挑战性的区域之一。为了满足用户对带宽日益增长的要求，实现接人网的高速化、宽带化和智能化，各种接人技术层出不穷，如LAN、XDSL、CableModem、PLC（电
2008年3月30日，西藏林芝老虎嘴水电站成功截流，标志着该电站工程建设进入主体施工阶段。