机译:名义逻辑的简单后续演算
Univ Edinburgh, Sch Informat, Lab Fdn Comp Sci, Edinburgh EH8 9AB, Midlothian, Scotland;
Nominal logic; sequent calculus;
机译:Angell分析遏制逻辑的简单序列微积分
机译:拓扑逻辑的多标签顺序演算
机译:动态认知逻辑的无割标签顺序演算
机译:名义逻辑的后续演算
机译:后续微积分:计算和对偶的逻辑和语言
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:一个简单的名义逻辑序列微积分