theorem proving; Hilbert spaces; process algebra; sequent calculus; nominal logic; self-dual N-quantifier; Hilbert-style axiom; first-order logic; fresh logic; cut-elimination; proof theory; logic programming; FO/spl lambda//spl nabla/;
机译:名义逻辑的简单后续演算
机译:拓扑逻辑的多标签顺序演算
机译:动态认知逻辑的无割标签顺序演算
机译:标称逻辑的顺序微积分
机译:后续微积分:计算和对偶的逻辑和语言
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:一个简单的名义逻辑序列微积分