The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)
scientific article; zbMATH DE number 7004930
scientific article