【摘 要】
：
<正>自改革开放以来,中国在形式逻辑学方向的研究水平突飞猛进,在一些领域已经达到了国际领先水平。青年学者对此起到了至关重要的作用。本专栏收录了三篇形式逻辑学方向的论
论文部分内容阅读
<正>自改革开放以来,中国在形式逻辑学方向的研究水平突飞猛进,在一些领域已经达到了国际领先水平。青年学者对此起到了至关重要的作用。本专栏收录了三篇形式逻辑学方向的论文。三篇论文的主要作者都是近几年来表现突出的我国青年逻辑学家。来自西南大学马明辉的论文"The disjuction property of some propositional logics"延续了他一贯的技术化风格。论文讨论了正规命题逻辑的析取性质。
其他文献
航天器在轨飞行期间产生的微振动极为复杂,严重影响航天器上搭载的高精密仪器的性能和寿命。在航天器发射之前,需要对仪器进行地面振动试验,为了准确地模拟航天器上的复杂微振动环境,本文研究了一种压电驱动型微振动模拟器。本文主要对微振动模拟器的构型优化、压电作动器的迟滞建模以及单轴微振动模拟器的加速度迟滞补偿等问题展开了研究,并设计了六自由度微振动模拟平台的仿真与实验。具体研究内容如下:研究了基于Stewa
中医心身医学在心身同治、天人合一哲学观的指导下,成为当今心身医学发展的新方向。因此,中医心身医学是中医学与时俱进的选择。《中医心身医学》教材其编写方向应以全国高等
早春类短命植物是生长于温带落叶阔叶林和针阔混交林下的一类草本植物，在早春迅速开花展叶，在初夏时完成结实和种子传播，随着上层乔木展叶，早春类短命植物地上部分迅速枯萎。这些
随着我国小学教育事业不断的发展和进步,针对小学语文学科中阅读能力的培养展开探讨和分析。如今我国小学教育事业正处在新时代的教育背景下,所以提升小学生的阅读能力便成为
随着社会经济的飞速发展,人们的生活水平有了显著提升,越来越注重电力产品的质量和电力系统运行的安全稳定,加上科学技术的进步,电气工程自动化技术日益先进,在电力系统中的
劳动保障政策仿真系统采用被称之为“政策实验室”的系统动力学方法,实现对劳动保障政策监测、趋势预测和情景模拟等功能.文章利用这一系统,在不同的参数假定下对我国2010年
金鱼是世界上著名的观赏鱼类,起源于中国,至今将近两千年的历史。金鱼天生娇嫩,常养殖在小水体鱼 池或水箱中,易受不良生态条件影响而感染各种疾病。金鱼一旦生病,轻者失去观
以香蕉李 (PrunussalicinaLindl.)成年树为试材 ,用N - (2 -氯 - 4-吡啶基 ) -N′ -苯基脲(CPPU)、赤霉素 (GA3)和复合果树促控剂 (PBO)等 3种生长调节剂于上年采果后 1个月
目的分析研究极低出生体重儿(VLBWI)和超低出生体重儿(ELBWI)神经发育预后及影响因素。方法回顾性分析聊城市东昌府区妇幼保健院随机选取儿科收治并救活的VLBWI和ELBWI患儿80
2013年4月17日讯:自从人感染H7N9禽流感疫情发生后,国家中医药管理局高度重视,迅速行动。4月1日,国家中医药管理局局长王国强召开局长办公会,对参与防控工作做出
April 17,