Logical Buildings