Consistency Property and Its Application I
-
摘要: Bruce于1978年提出二階邏輯L(Q)的概念和公理系統。Keisler提出了無窮邏輯的公理系統。本文結合上述兩種邏輯系統的思想,應用和諧性質的方法,建立了無窮邏輯中的二階語言Lw1w(Q)的公理系統及模型理論。此文證明了主要是對Lw1w(Q)中的模型存在定理及推演完全性定理。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).
-
Key words:
- consistency property /
- basic term /
- ideal model /
- standard model
-
點擊查看大圖
計量
- 文章訪問數: 231
- HTML全文瀏覽量: 66
- PDF下載量: 8
- 被引次數: 0
下載:
