Open Logic Systems