【摘 要】
:
表列演算是一种逻辑样式,它非常符合人的直观,并且能够很好地将逻辑系统的证明论和语义学结合在一起,正引起人们越来越多的关注。首先,本文对表列演算的历史发展做出简要梳理
论文部分内容阅读
表列演算是一种逻辑样式,它非常符合人的直观,并且能够很好地将逻辑系统的证明论和语义学结合在一起,正引起人们越来越多的关注。首先,本文对表列演算的历史发展做出简要梳理。表列演算的内定理证明方法叫做表列方法,前者从后者发展而来,表列方法思想则来源于根岑,经过贝特、欣迪卡等人的发展,最后在斯穆里安那里达到成熟,并逐步应用到许多逻辑分支。其次,本文对经典逻辑和非经典逻辑的几个表列系统做出详细的阐述,并对它们的元逻辑性质进行一定探讨。一阶逻辑表列演算完全性的证明显示,表列系统与公理系统完全性的证明有着重要区别。另外,某表列系统是否具有汇合性对于其完全性证明也有重要影响。最后,本文对表列演算与矢列演算和自然演绎等做出比较,以揭示它们的各自优劣。鉴于表列演算具有良好的通用性等其他逻辑样式所没有的优点,新的表列系统必将不断产生。此外,人们对非经典逻辑定理自动证明的兴趣正促使表列方法成为一种重要工具,相信对某个逻辑分支的表列演算研究将会成为与该逻辑分支本身的研究同样重要的一环。
其他文献
认知逻辑是一种关于知识和信念包括高阶信息推理的模态逻辑,概率认知逻辑PEL只能刻画信息变化,但是,这种信息不包括高阶信息,概率动态认知逻辑是将概率逻辑和动态认知逻辑相
态势(SWOT)分析法是一种最常用的企业内外环境因素综合分析方法。通过对师范院校大学生就业的SWOT理论分析,笔者发现师范生就业的SWOT潜在关键因素包括潜在优势、潜在劣势、
总结了林业的特点及林业标准化的基本内涵,并从生态优先原理、功能多样性原理、生物性原理及生态补偿原理4个方面对林业标准化原理进行论述,以期促进我国林业标准化发展。
先秦是我国古代逻辑开始形成、创立和发展的最重要时期,也是我国逻辑思想发展史上最具中国特色、成果最多、贡献最大的时期。我国古代逻辑学在那时已有一个相当科学和相当完
学生的“问题意识”对于学生物理的学习以及教师的课堂教学,都有重大的意义.本文通过对“问题意识”的分析,以及对高中学生进行问卷调查。提出培养学生“问题意识”的建议。
[目的]探讨文蛤多糖对实验性糖尿病大鼠免疫功能的影响。[方法]利用链尿佐菌素STZ(25mg/kg i.v)加喂高热量饲料,建立实验性2型糖尿病大鼠模型,观察文蛤多糖对模型大鼠红细胞免疫粘
本文以蒙古传统文化的宝典之一《孤儿舌战成吉思汗九员大将》(下面简称《孤儿传》)为研究对象,对其进行了逻辑思维分析。由导论、正文、总结、参考书等四部组成。导论中主要概述
<正>初一学生大多是12至13岁,正处在少年时期。他们的身心发展离不开少年期的特征,但也有着比较独特的倾向性。研究他们生理、心理上的特点,并根据这些特点进行教育,对于打好
一年一度的中国—东盟博览会为广西发展特色会展搭建了广阔的平台。发挥广西地缘优势,构建面向东盟的特色会展体系,提升会展产业的专业化、信息化、品牌化、市场化及国际化水
区域政策法规环境包括区域制度环境、政策导向度、法规环境、经济环境等,区域政策法规环境的变化很难被企业预测到,但是良好的政策法规环境有利于企业的成长。因此,现有不少