学科筛选

  • 8. 和谐性质及其应用Ⅰ

  • 【来源】

    [期刊论文] 《北京科技大学学报》1989年4期

  • 【作者】

    孙晓蓝 

  • 【摘要】

    Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统.Keisler提出了无穷逻辑的公理系统.该文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw_1w(Q)的公理系统及模型理论.此文证明了主要是对...

  • 【关键词】

    和谐性质  基本项  理想模型  标准模型 

  • 103条记录,
  • 共6页
  • 下页
  • 末页
  • / 6跳转

年度命中数

的趋势