| 基于广义谢弗竖的分析性模态公理系统 |
| |
| 引用本文： | 唐芳芳.基于广义谢弗竖的分析性模态公理系统[J].中山大学学报论丛,2009,2(3). |
| |
| 作者姓名： | 唐芳芳 |
| |
| 作者单位： | 中国社会科学院马克思主义研究院 |
| |
| 摘 要： | 沿着安德森等人开创的方向,我们将分析性公理系统从经典逻辑推向模态逻辑,所定义的广义谢弗竖混合了模态词和广义析舍.在这篇论文中,我们给出常见的正规模态逻辑的分析性公理系统及其强完全性定理和插值定理,并讨论演绎关系的性质:单调性和切割性.
|
| 关 键 词： | 广义谢弗竖 模态逻辑 分析性公理系统 插值定理 |
Generalized Sheffer-stroke Based Analytical Modal Axiomatic Systems |
| |
| Fangfang Tang.Generalized Sheffer-stroke Based Analytical Modal Axiomatic Systems[J].Supplement to the Journal of Sun Yatsen University,2009,2(3). |
| |
| Authors: | Fangfang Tang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
