Properties and rules for logarithms