Tuesday, September 29, 2026
Newsletter
Pricing Plans
ALL

Part D: Operation

Tier under review: an upstream claim has changed and the tier of this claim is being reviewed.
SGC-0019 Theorem Proof in manuscript

The transition semigroup of the full 32-state rotor cell (coupled phase and magnitude) is solvable with group component ℤ₈; an S₈ counterexample marks the boundary.

Tier under review: an upstream claim has changed and the tier of this claim is being reviewed.
SGC-0020 Theorem Proof in manuscript

The rotor sequent calculus RSC₀ is sound and complete.

Tier under review: an upstream claim has changed and the tier of this claim is being reviewed.
SGC-0051 Lexical

Generation-preserving ↔ truth-preserving: dictionary correspondence between the inference norms of generative and classical logic.

Reasoning Research Institute

About us

復興中華傳統科學，搭建溝通東西方科學的橋樑，理解當今世界，展望未來願景

Latest Articles

Most Popular

Subscribe

©Reasoning Research Institute. All Rights Reserved.