On Some Systems for Two Versions of Many-valued Logics nidottuEnglanti, 2017