  In this paper, we present a propositional logic (called mixed logic)
containing disjoint copies of minimal, intuitionistic and classical logics. We
prove a completeness theorem for this logic with respect to a Kripke semantics.
We establish some relations between mixed logic and minimal, intuitionistic and
classical logics. We present at the end a sequent calculus version for this
logic.
