A change has been added to the article by A.A. Onoprienko, “On analogs of Erbran and Harrop's theorems for the joint logic of QHC problems and statements,” published in 2023, vol. 514, pp. 123-128 (https://doi.org/ 10.31857/S2686954323602324, EDN: WMAEPN).
No takes yet. Share an insight, caveat, or question.
A. A. Onoprienko (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: