  We give a formal algebraic description of Josephson-type quantum dynamical
systems, i.e., Hamiltonian systems with a cos theta-like potential term. The
two-boson Heisenberg algebra plays for such systems the role that the h(1)
algebra does for the harmonic oscillator. A single Josephson junction is
selected as a representative of Josephson systems. We construct both logical
states (codewords) and logical (gate) operators in the superconductive regime.
The codewords are the even and odd coherent states of the two-boson algebra:
they are shift-resistant and robust, due to squeezing. The logical operators
acting on the qubit codewords are expressed in terms of operators in the
enveloping of the two-boson algebra. Such a scheme appears to be relevant for
quantum information applications.
