Soundness and Completeness of Kung's Reasoning Procedure

被引：0
|
作者：
黎仁蔚 [1 ]
机构：
[1] Institute of Software Academia Sinica
来源：
Journal of Computer Science & Technology | 1988年 / 01期
关键词：
Co; Soundness and Completeness of Kung’s Reasoning Procedure;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Kung’s reasoning procedure is characterized by high parallelism in the sense that an unlimited numberof CPUs can be used to carry out the computation in parallel.This paper presents a proof of the soundness andcompleteness of the reasoning procedure based on Herbrand’s theorem.
引用
收藏
页码：7 / 15
页数：9
相关论文
共 50 条
  • [1] SOUNDNESS AND COMPLETENESS OF KUNG'S REASONING PROCEDURE
    黎仁蔚
    Science Bulletin, 1987, (21) : 1511 - 1512
  • [2] SOUNDNESS AND COMPLETENESS OF KUNG REASONING PROCEDURE
    LI, RW
    KEXUE TONGBAO, 1987, 32 (21): : 1511 - 1512
  • [3] CIRCULARITY IN SOUNDNESS AND COMPLETENESS
    Kaye, Richard
    BULLETIN OF SYMBOLIC LOGIC, 2014, 20 (01) : 24 - 38
  • [4] Soundness and completeness of UNITY logic
    Knapp, E
    FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1994, 880 : 378 - 389
  • [5] Formalizing Soundness and Completeness of Unravelings
    Winkler, Sarah
    Thiemann, Rene
    FRONTIERS OF COMBINING SYSTEMS, FROCOS 2015, 2015, 9322 : 239 - 255
  • [6] On the soundness and completeness of equational predicate logics
    Tourlakis, G
    JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (04) : 623 - 653
  • [7] Probabilistic Termination Soundness, Completeness, and Compositionality
    Fioriti, Luis Maria Ferrer
    Hermanns, Holger
    ACM SIGPLAN NOTICES, 2015, 50 (01) : 489 - 501
  • [8] Soundness and Completeness Proofs by Coinductive Methods
    Blanchette, Jasmin Christian
    Popescu, Andrei
    Traytel, Dmitriy
    JOURNAL OF AUTOMATED REASONING, 2017, 58 (01) : 149 - 179
  • [9] Importing Logics: Soundness and Completeness Preservation
    J. Rasga
    A. Sernadas
    C. Sernadas
    Studia Logica, 2013, 101 : 117 - 155
  • [10] Importing Logics: Soundness and Completeness Preservation
    Rasga, J.
    Sernadas, A.
    Sernadas, C.
    STUDIA LOGICA, 2013, 101 (01) : 117 - 155
12345