-
题名基于破坏性表列的模态公理系统
被引量：2
- 1
-
-
作者
唐芳芳
-
机构
清华大学哲学系
-
出处
《湖南科技大学学报（社会科学版）》
北大核心
2009年第1期41-45,共5页
-
文摘
表列适于作为模态定理机器证明的基础。在破坏性模态表列的基础上,构造分析性模态公理系统,这种公理系统的定理很容易证明,因此也适于作为模态定理机器证明的基础。沿着安德森等人开创的方向,将分析性公理系统的应用从经典逻辑推广到模态逻辑。称一个公理系统是分析的,即它的每一推理规则的前提和结论中的命题变元相同。为了便于表述这种系统中的公理,可以先定义一种广义谢弗竖[;],给出模态表达式的一种新记法,以此改进现有的破坏性模态表列,并以这种改进的结果为基础构造分析性模态公理系统。
-
关键词
语义表列
模态逻辑
完全性
证明理论
谢弗竖
-
Keywords
modal tableaus
modal logic
completeness
proof theory
generalized Sheffer stroke
-
分类号
B815.1
[哲学宗教—逻辑学]
-
