搜索结果: 1-1 共查到“模糊数学 Q control”相关记录1条 . 查询时间(0.156 秒)
Delimited control operators prove Double-negation Shift
double negation shift delimited control operators intuitionistic logic
2011/1/18
We propose an extension of minimal intuitionistic predicate logic, based on delimited control operators, that can derive the predicate-logic version of the Double-negation Shift schema, while preservi...