| 子结构逻辑的研究方法与应用前景 |
| |
| 引用本文： | 冯棉.子结构逻辑的研究方法与应用前景[J].哲学动态,2007(6):68-72. |
| |
| 作者姓名： | 冯棉 |
| |
| 作者单位： | 华东师范大学哲学系 上海200062 |
| |
| 基金项目： | 教育部规划项目;国家社会科学基金 |
| |
| 摘 要： | 现代逻辑由众多的逻辑分支组成,各个分支有着自己的背景和发展动因,各个逻辑分支的相对独立发展成了逻辑研究的一道风景线。随着近年来子结构逻辑(substructural logics)研究的不断深入,这种情况有所改变。“子结构逻辑”的名称出现在20世纪90年代1],它是一大类逻辑的统称,涉及基本子结构逻辑(basic substructural logic)与经典逻辑之间的各个现代逻辑分支,包括Lambek演算2]、线性逻辑3]、衍推逻辑、相干逻辑、BCK逻辑4]、极小逻辑、直觉主义逻辑,以及多种正规的和非正规的模态推演,具有宽广的研究视野。子结构逻辑的特点是:从结构规…
|
| 文章编号： | 1002-8862(2007)06-0068-05 |
Method of Sub-structural Logics and Its Applying Prospects |
| |
| Feng Mian.Method of Sub-structural Logics and Its Applying Prospects[J].Philosophical Trends,2007(6):68-72. |
| |
| Authors: | Feng Mian |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
