论文部分内容阅读
到目前为止,对于逻辑的动态性并没有一个确定的标准,本文首先介绍了动态逻辑的内容,然后从逻辑语法、推理、语义的角度对动态性的内涵进行了思考与总结.
探析逻辑的动态性
【摘 要】
：
到目前为止,对于逻辑的动态性并没有一个确定的标准,本文首先介绍了动态逻辑的内容,然后从逻辑语法、推理、语义的角度对动态性的内涵进行了思考与总结.
【机 构】
：
中央财经大学,北京 102200
【出 处】
：
卷宗
【发表日期】
：
2020年15期
其他文献
电视新闻节目在人们日常生活中占据着极其重要的地位,它是人们了解国内外大事,学习新知识与开阔视野的重要途径.随着经济的迅猛发展,人类已经步入新媒体时代,观众对电视新闻
医学心理疗法是多种疼痛治疗模式中的重要组成部分。这种疗法是帮助患者得到疼痛被控制的感觉。充分发挥患者的想象改变患者对疼痛的想法，这样可以改变他们对疼痛的敏感性
通常情况下,我们把杂技表演也称作“杂伎”,主要指的是口技、口哨、变戏法、走钢丝等相关方面的特殊技艺的总称.舞蹈是通过优美的动作来充分实现和人的共鸣的表演性动作,通常
在建筑工程施工的过程中,需要高度重视机电安装工程.机电工程会影响到建筑的整体安全和质量,是一项非常重要的项目.在开展机电安装工程施工时,需要合理利用施工技术,并对工程
图像超分辨率重建是一种利用同一景物的多幅低分辨率图像重建该景物的高分辨率图像的技术。提出了一种改进的最大后验概率MAP(Maximum a P0steriori)超分辨率重建算法。
目的：是通过测定由酪氨酸磷酸酶抑制剂Na3V04诱导的大鼠主动脉平滑肌收缩反应和蛋白酪氨酸磷酸化来比较异氟醚和七氟醚对酪氨酸激酶介导的血管收缩反应的抑制作用的不同。
本研究通过观察异丙酚复合瑞芬太尼应用与纤维支气管镜检查的临床效果，并和常规纤维支气管镜检查对比，探讨其在高龄患者纤维支气管镜检查中应用的安全性和可行性。研究表明
经喉逆行气管插管技术自Butlerh和Cirillo于1960年首次报道以来，因需要很少设备，容易掌握，禁忌症少而广泛应用于困难气道病人。经典的插管技术是经环甲膜穿刺针向声门方向置
会议
本研究通过对患者围术期血浆皮质醇及血流动力学变化的临床观察来探讨依托咪酯乳剂用于老年患者麻醉维持的有效性和安全性，并与丙泊酚进行比较。研究结果显示：丙泊酚在麻醉
墓志是存放在墓穴中并且上面刻有墓主生平事迹的石刻,墓志中所记载的内容为后人对于相关历史的研究提供了大量的事实依据,是学术研究重要且珍贵的史料.近些年来墓志作为主要