位置：成果数据库 > 期刊 > 期刊详情页
分层次背景逻辑
  • 期刊名称：数学半年刊
  • 时间：0
  • 页码：1998，15(2),147-155
  • 语言：中文
  • 相关项目：若干典型的非单调逻辑的比较研究
作者： 苏开乐，刘海燕，陈火旺|
同期刊论文项目
若干典型的非单调逻辑的比较研究
期刊论文 7
同项目期刊论文
一个二阶的Context逻辑
关于主体的逻辑推理性质的逻辑
A three-valued quantificational Logic of Context
关于D.W.Etherington的扩充产生算法的一个注记
开放逻辑中基于一优先序的R-重构
Computation of extensions of seminormal default theories