|
|||||
|
|
| 力迫演算在开放逻辑系统中的嵌入 | |
| 作者姓名： | 李未 |
| 作者单位： | 北京航空航天大学计算机科学与工程系 北京100083(李未)，中国科学院软件研究所 北京100080(王驹) |
| 基金项目： | 国家自然科学基金资助项目 |
| 摘 要： | 令A为一个可数一阶语言,T为A的一个协调理论,亦可以为空理论,引入一个可数无穷的新常项符号集(?)={c_1,c_2,……},组成一个新的一阶语言A_c.令A_c={F_i,R_i,(?)},A_A是只含(?)中常项符号的所有原子公式及原子公式的否定组成的句集,定义1.1 A_A的一个有穷子集P,若T∪P协调,则称P为一个力迫条件. |
| 关 键 词： | 力迫演算 开放逻辑系统 嵌入 |
| 收稿时间： | 1993-07-30 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载全文 | |