机译:概率逻辑的后继式演算
Univ Belgrade, Fac Org Sci, Jove Ilica 154, Belgrade 11000, Serbia;
Deduction relation; sequent calculus; consistency; probability; soundness; completeness;
机译:拓扑逻辑的多标签顺序演算
机译:动态认知逻辑的无割标签顺序演算
机译:Lyndon瞬间邻域逻辑的插值定理 - 通过序列微积分建设性地
机译:对复杂名称的数据进行面向程序的谓词逻辑的后续演算
机译:后续微积分:计算和对偶的逻辑和语言
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:具有否定性作为子结构逻辑的构造逻辑的后续演算