MathDB3 problems
- 0 votes0 replies0 views
De Domenico's proper inception calculus equivalence conjecture
Let a proper inception calculus denote the notion of proper inception calculus introduced in the cited work by De Domenico, and let the proper inception calculus proposed in the pr…
- 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…
- 0 votes0 replies0 views
Non-interdefinability of exponentials in bi-intuitionistic linear logic
In bi-intuitionistic linear logic, let denote the exponential connective for necessity and let denote the exponential connective for possibility. Non-interdefinability…