形式系统的可靠性和完全性问题

摘要：

语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的.将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性.对必然化规则和模态逻辑系统来说有类似的结果.

关键词：完全性、可靠性、代入规则、全称概括规则、必然化规则

所属期刊栏目：8

分类号：B81(逻辑学(论理学))

在线出版日期：2005-02-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：25-29