基于括号表示法的一阶逻辑系统

发布时间：2022-01-03 01:01

　　括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中置法表达的公式简短。运用括号表示法改写的一阶逻辑自然推理系统非常简洁。括号表示法为研究逻辑常项的推理结构提供了一个非常良好的分析工具。 

【文章来源】：安徽大学学报(哲学社会科学版). 2019,43(03)北大核心CSSCI

【文章页数】：7 页

【参考文献】：
期刊论文
[1]不用联结词的“舍…取…”型自然推演系统[J]. 杜国平.  湖南科技大学学报(社会科学版). 2019(03)
[2]关于“不用联结词的逻辑系统”的注记[J]. 杜国平.  重庆理工大学学报(社会科学). 2019(04)
[3]哲思逻辑——一个形而上学内容的公理体系[J]. 杜国平.  东南大学学报(哲学社会科学版). 2007(04)
[4]不用联结词和量词的一阶逻辑系统[J]. 张清宇.  哲学研究. 1996(05)
[5]不用联结词的经典命题逻辑系统[J]. 张清宇.  哲学研究. 1995(05)



本文编号：3565241