Taming logics by S. Mikulas