The logic behind logical qubits