Tense operators on non-commutative residuated lattices
scientific article; zbMATH DE number 6844225
scientific article