Correction to the article A. A. Onoprienko “On the analogues of Erbran and Harrop theorems for the joint logic of problems and QHC statements”

Аннотация

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).