析布劳维尔的直觉主义

• 作者: 翟晓佩
• 来源期刊: 重庆工学院学报（社会科学版）
• 学科: 哲学
• 关键词: 布劳维尔 直觉主义 古典逻辑 海丁演算系统
• 年，卷（期）: 2009,（2）
• 所属期刊栏目: 逻辑学
• 页码范围: 42-43
• 页数: 2页
• 分类号: B8L
• 字数: 2472字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425.2009.02.011

摘要

阐述了直觉主义者的主要观点,认为海丁演算系统的提出是直觉主义逻辑最重要的发展,并对海丁演算系统的特点作了介绍和评价.同时介绍了直觉主义的消极作用和积极作用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	翟晓佩	西南大学逻辑与智能研究中心	1	0	0.0	0.0