The paper's proposed characterization of p-simulation between theories is not established, because the right-to-left proof uses an invalid logical generalization step.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CC 1years
2025 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
A Proposed Characterization of p-Simulation Between Theories
The paper's proposed characterization of p-simulation between theories is not established, because the right-to-left proof uses an invalid logical generalization step.