preference structures, choice functions and their logical form