MathDB1 problem
- 0 votes0 replies0 views
Finite-depth proper inception calculus conjecture for inductive LE-logics
Let an inception calculus be a proper display calculus augmented with inception rules, and let an analytic inception rule be a rule in the subclass introduced for inception calculi…