排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
We introduce necessary and sufficient conditions for a (single-conclusion) sequent calculus to admit (reductive) cut-elimination.
Our conditions are formulated both syntactically and semantically. 相似文献
1