|
|||||
|
|
| 关于模态公理系统P1-P5的布尔值 | |
| 引用本文： | 李娜.关于模态公理系统P1-P5的布尔值[J].河南大学学报(自然科学版),2001,31(2):12-16. |
| 作者姓名： | 李娜 |
| 作者单位： | 李娜（河南大学政治系，河南开封 475001） |
| 基金项目： | 普通高等学校人文社会科学重点研究基地基金资助. |
| 摘 要： | 证明与模态命题系统S |
| 关 键 词： | 布尔值 模态公理系统 严格蕴涵系统 |
| 文章编号： | 1003-4978(2001)02-0012-05 |
| 修稿时间： | 2000年10月20 |
On Boolean Value of the Modal Axiomic System from P1 to P5 |
|
| LI Na.On Boolean Value of the Modal Axiomic System from P1 to P5[J].Journal of Henan University(Natural Science),2001,31(2):12-16. | |
| Authors: | LI Na |
| Abstract: | |
| Keywords: | |