2 papers
cs.LO2025
Semantic Properties of Computations Defined by Elementary Inference Systems
Salvador Lucas
We consider sets/relations/computations defined by *Elementary Inference Systems* I, which are obtained from Smullyan's *elementary formal systems* using Gentzen's notation for inf…
cs.LO2025
Confluence of conditional rewriting modulo
Salvador Lucas
Sets of equations E play an important computational role in rewriting-based systems R. The equivalence relation =E induced by E introduces a partition of terms into E-equivalence c…