2 problems

0 votes0 replies0 views
Isomorphism conjecture for the algebra constructed in the semantic cut-elimination proof
Let $A$ be the algebra constructed in Section 4, and let $G$ be the Galois algebra constructed by Galatos and Jipsen. Isomorphism conjecture. The algebra $A$ is isomorphic to $G$ .…
Conjectureopenalgebraic-logic logic-in-computer-science substructural-logicarXiv posted 2 days ago
0 votes0 replies0 views
Thiagarajan's MSO decidability conjecture for grid-free trace-regular event structures
Let ${\mathcal E}_N$ be a trace-regular event structure, and let $\operatorname{MSO}({\mathcal E}_N)$ denote its monadic second-order theory. The event structure is grid-free when…
Conjecturerefutedevent-structures logic-in-computer-science petri-netsarXiv posted 2 days ago

Isomorphism conjecture for the algebra constructed in the semantic cut-elimination proof