Implicational tonoid logics: algebraic and relational semantics
scientific article; zbMATH DE number 7462127