共 50 条
- [4] Cut-elimination: Experiments with CERES LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3452 : 481 - 495
- [9] Cut-Elimination for Quantified Conditional Logic Journal of Philosophical Logic, 2017, 46 : 333 - 353