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