Informational logic IV