О некоторых конструктивизациях пропозициональных логик Д. А. Бочвара и С. Холденастатья