Automorphisms, negations and implication operators
scientific article; zbMATH DE number 1891691
scientific article