2 papers
math.LO2024
-consistency for Different Arrays of Quantifiers
Paulo Guilherme Santos
We study the formalized v statement by allowing the occurrence of different arrays of quantifiers in it. We prove that for some specific arrays of quantifiers we get consistency st…
cs.LO2019
A Note on a Unifying Proof of the Undecidability of Several Diagrammatic Properties of Term Rewriting Systems
António Malheiro, Paulo Guilherme Santos
In this note we give a simple unifying proof of the undecidability of several diagrammatic properties of term rewriting systems that include: local confluence, strong confluence, d…