2 problems

0 votes0 replies0 views
Non-surjectivity conjecture for algebraic correspondence from strict implication
Non-surjectivity conjecture. Not all $\mathcal{L}_\bullet$ -sequents have their algebraic correspondents in $\mathcal{L}_\mathrm{SI}$ .
Conjectureopenalgebraic-logic proof-theory strict-implicationarXiv posted 2 days ago
0 votes0 replies1 view
Non-correspondence conjecture for the symmetry, Euclidean and density sequents
Non-correspondence conjecture. The sequents (Sym), (Euc) and (D) never correspond to any $\mathcal{L}_\bullet$ -sequents.
Conjectureopenalgebraic-logic proof-theory strict-implicationarXiv posted 2 days ago

Non-surjectivity conjecture for algebraic correspondence from strict implication