| Program generic set:semantics of medium logic program described by forcing |
| |
| 引用本文： | 朱朝晖,施庆生,朱梧槚. Program generic set:semantics of medium logic program described by forcing[J]. 中国科学E辑(英文版), 1996, 0(6) |
| |
| 作者姓名： | 朱朝晖 施庆生 朱梧槚 |
| |
| 作者单位： | Institute of Computer Science，Nanjing University of Aeronautics and Astronautics，Nanjing 210016，China，Department of Basic Sciences，Nanjing Architectural and Civil Engineering Institute，Nanjing 210009，China，State Key Laboratory for Novel Software Technology at Nanjing University，Nanjing 210093，China Institute of Computer Science，Nanjing University of Aeronautics and Astronautics，Nanjing 210016，China |
| |
| 基金项目： | Project supported by the High Technology Research and Development Program of China. the Key Project of Fundamental Research. Climbing Project. |
| |
| 摘 要： | The technique of forcing created by Cohen is adopted to discuss the semantics of medium logic program without closed-world assumption (CWA).The fixed point and complete-meet semilattice property ofprogram generic set is proved.
|
Program generic set:semantics of medium logic program described by forcing |
| |
| ZHU Zhaohui. Program generic set:semantics of medium logic program described by forcing[J]. Science in China(Technological Sciences), 1996, 0(6) |
| |
| Authors: | ZHU Zhaohui |
| |
| Abstract: | The technique of forcing created by Cohen is adopted to discuss the semantics of medium logic program without closed-world assumption (CWA).The fixed point and complete-meet semilattice property ofprogram generic set is proved. |
| |
| Keywords: | medium logic program semantics non-CWA program generic set. |
| 本文献已被 CNKI 等数据库收录！ |
