Article-Journal

关于 Herbrand 基上的语义映射
引用
Institution中合并理论的初始与终结语义
引用
An open logic system admitting modification of inference rules
引用
When is the ideal completion of abstract basis algebraic
The concepts of abstract basis and its ideal completion play an important role in domain theory because the category of bases (and …
引用 DOI URL
允许修改推理规则的开放逻辑
引用
Institutions of variable truth values: An approach in the ordered style
The concept of institution of variable truth values is introduced and some main results about institutions are generalized. In …
引用 DOI URL
Putting consistent theories together in institutions
The problem of putting consistent theories together in institutions is discussed. A general necessary condition for consistency of the …
引用 DOI URL
关于不可分辨性与稳定性的几个结果
引用
基于非经典逻辑的拓扑及其应用 (英文)
引用
$τ$_ (T, L) 型概率内积空间
引用