The rotor sequent calculus RSC₀ is sound and complete.
Sources 旋机运算体系
Proof paper
SGS-ROTORSGC-0020
Premises and dependents
No published premises or dependents.
Cite
Claim template
〔定理级〕旋机矢列演算 RSC₀ 健全且完备。——李旭彤《旋机运算体系》（SGC-0020），问道研究所，2026。
Chinese
李旭彤：〈SGC-0020〉旋机矢列演算 RSC₀ 健全且完备〔定理级〕，载《旋机运算体系》，问道研究所，2026。https://reresearch.org/claim/sgc-0020/
English
Li, Xutong (2026). SGC-0020 [Theorem]: The rotor sequent calculus RSC₀ is sound and complete. Source: 旋机运算体系. Reasoning Research Institute. https://reresearch.org/en/claim/sgc-0020/
BibTeX
@misc{SGC-0020,
author = {Li, Xutong},
title = {{SGC-0020}: The rotor sequent calculus RSC₀ is sound and complete.},
howpublished = {Science of Generation Portal},
organization = {Reasoning Research Institute},
year = {2026},
url = {https://reresearch.org/en/claim/sgc-0020/},
note = {Epistemic tier: Theorem. Source: 旋机运算体系}
}