对于逻辑系统L(w1,w)的L-S型定理与H-型定理(英文)

作者：杨安洲

来源：前沿科学, 2010, (02): 57-58.

• 逻辑系统L(w1
• w)
• L-S型定理
• H-型定理
• 谓词代数 logical system L(w1
• w)
• Theorem of Loewenheim-Skolem's type
• Theorem of Herbrand's type
• Predicate algebra

本文得到了对于逻辑系统L(w1,w)的L-S型定理与H-型定理.

• 单位
  中国科学院成都计算机应用研究所