Volume 11 Issue 4
Nov.  2021
Turn off MathJax
Article Contents
Abstract
Sun Xiaolan. Consistency Property and Its Application I[J]. Chinese Journal of Engineering, 1989, 11(4): 382-387. DOI: 10.13374/j.issn1001-053x.1989.04.015
Citation: Sun Xiaolan. Consistency Property and Its Application I[J]. Chinese Journal of Engineering, 1989, 11(4): 382-387. DOI: 10.13374/j.issn1001-053x.1989.04.015
shu

Consistency Property and Its Application I

More Information
  • Received Date: November 09, 1987
  • Available Online: November 14, 2021
    Graphical Abstract
    • Abstract
  • Kim B. Bruce gave a system of axioms lor second order logic L(Q). H. J. Keisler presented a system of axioms for infinilary logic. This article gives a system of axioms and model theory for infinitary second order logic LW1W(Q), based on the combination of both ideas of the systems and application of the consistency property; proves the model existence theorem and completeness theorem in Lw1w(Q).
    • FullText(HTML)
    • References (0)
    • Related Articles

Catalog

    Get Citation
    PDF
    XML

    Article Metrics

    Article views (343) PDF downloads (15) Cited by()
    Related

    Editorial Office of Chinese Journal of Engineering

    Address：No. 30 College Road, Haidian District, BeijingPost Code：100083 Tel：(010)62333436

    Supported by: Beijing Renhe Information Technology Co., Ltd.    Baidu Analytics

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return