MathDB4 problems
- 0 votes0 replies1 view
The vertical non-uniqueness conjecture for special cases
Special-case vertical non-uniqueness conjecture. Special cases are not vertically unique.
- 0 votes0 replies0 views
The vertical non-uniqueness conjecture for PC connectives outside PU
Vertical non-uniqueness conjecture. For every connective , if but , then is not vertically inte…
- 0 votes0 replies0 views
The counterexample-sequent conjecture for connectives in PC but not PU
Counterexample-sequent conjecture. For each such connective, a suitable sequent should exist for which the required failure of vertical interderivability can be established.
- 0 votes0 replies0 views
The Exchange-free non-commutative semantics conjecture for two-dimensional sequent calculi
Exchange-free non-commutative picture conjecture. Dropping should result in a finer-grained non-commutative picture akin to the ordered logic connectives.