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