Logic theory