|
|||||
|
|
| A.N.Prior的模态直觉主义演算MIPC具有13个模态辞 | |
| 引用本文： | 高恒珊.A.N.Prior的模态直觉主义演算MIPC具有13个模态辞[J].科学通报,1989,34(11):874-874. |
| 作者姓名： | 高恒珊 |
| 作者单位： | 中国科学技术大学研究生院 北京 |
| 摘 要： | 研究直觉主义系统的模态扩充,特别是在文献1]中意义下属于S5型的有许多。这其中包括文献2]中的系统IS5,以及文献3]中的四个系统IM4W,IM4M,IM4S以及IM5。然而在这许多系统中提出最早且 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载免费的PDF全文 | |