The correspondence between cut-elimination and normalization II
The correspondence between cut-elimination and normalization II
复制标题
割消法与归一化的对应关系II
DOI：
10.1016/0003-4843(74)90010-2
复制
发表时间：
1974
期刊：
影响因子：
--
通讯作者：
J. Zucker
中科院分区：
文献类型：
--
作者：
J. Zucker
第一部分.我的逻辑很复杂！1分22秒。系统~和）~ II 3. ~-和~-37 β 4的转换。-~”51 <$5中的强等价性，“”中的基本cons ~ ons和ee-67 <$6中的转换。在~”和qt-88 β 7中的还原序列。带析取算子的微积分中的一个非终止约化序列97
Part I. Inruitionistie pr~ xlicate logic"*! 1 ß 2. The systems~ and)~ II ß 3. Conversions in~-and~-37 ß4. Strong equivalence in-~" 51 ß5, Essential con~ rs~ ons in~'" and conversions in ee-67 ß6. Reduction sequences in~" and qt-88 ß7. A non-terminating reduction sequence in the sequent calculus with disjunction 97