一个与卢卡西维兹不同的亚里士多德三段论形式系统

被引：16

作者：

蔡曙山

机构：

[1] 贵州教育学院

来源：

关键词：

定理; 命题逻辑; 谓词逻辑; 公理系统; 卢卡; 二格; 数理逻辑; 类逻辑; 代入规则; 亚里士多德三段论; 命题变元; 命题变项; 公理化; 形式系统; 卡西;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

<正> 30多年前,波兰数学家、逻辑学家卢卡西维兹首次用现代逻辑的方法对亚氏三段论进行形式化的研究,并建立了亚氏三段论的形式系统(以下简称LS)。LS使用4条公理和14个断定命题(即命题逻辑的定理)。4条公理是:

引用

页码：33 / 41

页数：9